The Laboratory for Intelligent Systems and Structural Analysis (ISSA Lab) was founded at HSE in 2012 by Prof. Sergei O. Kuznetsov.
The ISSA Lab is a part of School of Data Analysis and Artificial Intelligent at the Faculty of Computer Science. Laboratory staff participate in all academic activities of the Faculty including bachelor's programmes, master's programmes, and postgraduate schools (for dissertation preparation).
The workshop "Data Analysis in Medicine 2017": meeting point of doctors and data analysis experts
On Monday, the 29th of May, the workshop "Data Analysis in Medicine 2017 (WDAM-2017)" was held at the Faculty of Computer Science.
Laboratory ISSA seminar: Liubov Tupikina and Tristan Miller gave a talk
Liubov Tupikina gave a talk on "Flow-networks: graph theoretical approach to study flow systems"
Tristan Miller gave a talk on "Natural language processing with UIMA and DKPro"
Formal Concept Analysis for Knowledge discovery: get ready for surprising practical applications
On Tuesday, the 16th of March, the International Workshop “Formal Concept Analysis for Knowledge Discovery” was held at the Faculty of Computer Science.
Guest of ISSA Laboratory Prof. Ivo Düntsch gave a talk entitled: "Rough sets: A tool for qualitative knowledge discovery"
Ivo Düntsch, Brock University, St Catharines, ON, Canada
At the ISSA laboratory seminar Steve Zdancewic gave a talk entitled: "Vellvm - Verifying the LLVM"
Prof. Steve Zdancewic, University of Pennsylvania
At the ISSA laboratory seminar Thomas Hensinger gave a talk entitled: Reactive Systems: A Powerful Paradigm for Modeling and Analysis from Engineering to Biology
Prof. Thomas Hensinger, IST Austria
At the ISSA laboratory seminar Daniel Borchman gave a talk entitled: Probably Approximately Correct Computation of the Canonical Basis
Daniel Borchman, Postdoctoral Research Associate, Technische Universität Dresden
Professor Peter Horvath gave a mini course «Microscopy image analysis»
Professor Peter Horvath gave a mini course «Microscopy image analysis» for students of computer .In his course he made stress on high-content screening (HCS), which includes cell biology, automated high resolution microscopy, informatics and robotics
At the ISSA laboratory seminar Prof. Mark Reynolds gave a talk entitled: "A Faster Tableau for CTL*"
Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia
