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
12