At the ISSA laboratory seminar Steve Zdancewic gave a talk entitled: "Vellvm - Verifying the LLVM"
Prof. Steve Zdancewic, University of Pennsylvania
EducationprofessorsHSE guestsopen lecturesReporting an eventinnovations International Laboratory for Intelligent Systems and Structural AnalysisSeminar of the International Laboratory for Intelligent Systems and Structural Analysis
7 March
2017
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
EducationHSE guestsReporting an eventinnovations International Laboratory for Intelligent Systems and Structural AnalysisSeminar of the International Laboratory for Intelligent Systems and Structural Analysis
6 March
2017
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
EducationHSE guestsconferences & seminarsReporting an eventshort-term programmesInternational Laboratory for Intelligent Systems and Structural Analysis
20 February
2017