The head of the laboratory Sergei Kuznetsov presented an invited talk at the conference on Technologies of Machine Learning 2018
The head of the laboratory Sergei Kuznetsov presented an invited talk at the conference on Technologies of Machine Learning 2018
4 October
2018
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
12