Summer School in Software Engineering and Verification

About the School

Summer School in Software Engineering and Verification will take place in Moscow, Russia, on July 17–27, 2011. The school is co-sponsored by Microsoft Research and the Higher School of Economics (HSE) in Moscow, with IEEE Reliability Society as a technical co-sponsor, along with other industrial and academic partners. This summer school follows a highly successful Microsoft Data Structures and Algorithms School held in 2010, and will be followed by a Microsoft Computer Vision School.


The School is now over. Many thanks to all the lecturers and participants.


  • The aim is to attract the most promising graduate students and young scientists, and to encourage and prepare them for research in software engineering, verification, and program analysis. The students will be exposed to a combination of classical results as well as leading-edge research. To encourage research participation, the students will be required to complete a project as part of the school.
  • To provide a stimulating environment for students to meet and establish ties with each other, local faculty members and industry researchers, as well as school lecturers, who are among the top scientists in their area.


The school will consist of a number of courses from international leaders in their field.
  • Sir Tony Hoare, Microsoft Research, UK
    foundations of program verification
  • Patrice Godefroid, Microsoft Research, US
    software model checking and automatic test case generation
  • Ben Livshits, Microsoft Research, US
    program analysis and its applications
  • Natasha Sharygina, University of Lugano, Switzerland
    abstractions and decision procedures for effective software model checking
  • Yannis Smaragdakis, University of Athens, Greece (formerly University of Massachusetts, Amherst, US)
    static analysis and bug detection
  • Stephan Tobies, Microsoft, Germany
    verification of concurrent C programs and operating systems

School Directors

Local Organizers

  • Jennifer Trelewicz, Microsoft
  • Elena Sivenkova,Microsoft
  • Sergey Avdoshin, HSE

Guest Lecturers

To encourage international collaboration, the school will also feature a number of guest lecturers from both Russia and other countries. Unlike the rest of the School, guest lecturers are open to the general public.


Ph.D. students, advanced undergraduates, and young scientists interested in software verification, software engineering, and program analysis are encouraged to apply. We encourage applications from both Russian residents as well as residents of Scandinavia and countries of Eastern Europe. English is the working language of the school.


For those who are accepted, school participation is free of charge. Attendees will be offered housing arrangements at one of the HSE dorms also free of charge, with details provided shortly. The attendees are responsible for their own transportation to and from the school as well as visas, if those are necessary.


The school will have a combination of lectures, question and answer sessions, written homeworks, programming assignments, and a final project spread over a period of 10 days, July 17-27, 2011.

When and How to Apply

Application material (including supervisor's recommendation, short CV, as well as either scientific paper, term paper or other research paper) can be uploaded and updated any time until the application deadline. More information about the application process is available here.

Contact us

If you have additional questions, please send email to