Teaching
-
Graduate class on
Computer-Aided Verification,
2005, 2006,
2007, 2008, 2009, 2010, 2011,
2012, 2013, 2015
-
Undergraduate class on
Theory of Computation,
2008, 2009,
2010, 2011, 2012, 2013, 2014
-
Graduate class on
Validation
and
Verification I
,
2008, 2009,
2010, 2011, 2012, 2013, 2014, 2015
-
Graduate class on
Validation
and
Verification II
,
2008, 2009,
2010, 2011, 2012, 2013, 2014, 2015
-
Graduate class on Software Verification and Security, 2007
Semester projects
(New 2015 projects for
Bachelor and Master students)
Video Lectures (Student recruting sessions at Russian Academy of Science)