Presentation is loading. Please wait.

Presentation is loading. Please wait.

School Introduction Ben Livshits us/um/redmond/events/sssev2011/

Similar presentations


Presentation on theme: "School Introduction Ben Livshits us/um/redmond/events/sssev2011/"— Presentation transcript:

1 School Introduction Ben Livshits us/um/redmond/events/sssev2011/

2 Organizers

3 Sponsors

4 Partners

5 More Partners Technical co-sponsor In participation with…

6 School Focus Many summer schools in –US (Oregon summer school) –Western Europe Eastern Europe and Scandinavia – not so much

7 Selection Committee Sergey Avdoshin Higher School of EconomicsRussia Svetlana Chumachenko Kharkov National University of Radioelectronics Ukraine Vladimir Hahanov Kharkov National University of Radioelectronics Ukraine Vladimir Itsykson St. Petersburg State Technical University Russia Ilya Klyuchnikov M.V.Keldysh Institute of Applied Mathematics RAS Russia Boris Konev University of LiverpoolUK Victor Kuliamin Institute for System Programming RAS Russia Fedor Murzin Ershov Institute of Informatics Systems RAS Russia Alexander Petrenko Institute for System Programming RAS Russia Andrei Sabelfeld Chalmers UniversitySweden Vladimir Safonov St. Petersburg State UniversityRussia Natasha Sharygina University of LuganoSwitzerland Nikolai Shilov Novosibirsk State UniversityRussia Alexander Smal St Petersburg Academic University Russia Jennifer Trelewicz MicrosoftRussia

8 Distribution by Country

9 Students from Russia

10 Our Lecturers Sir Tony Hoare: Microsoft Research, Cambridge, UK Foundations of Program Verification Dr. Natasha Sharygina: University of Lugano Abstractions and Decision Procedures for Effective Software Model Checking Dr. Patrice Godefroid Microsoft Research, Redmond Software Model Checking and Automatic Test Case Generation

11 More Lecturers Dr. Yannis Smaragdakis: University of Athens Static Analysis and Bug Detection Dr. Stephan Tobies: Microsoft, Germany Verification of Concurrent C Programs and Operating Systems Dr. Benjamin Livshits Microsoft Research, Redmond Program Analysis and its Applications

12 Guest Lecturers

13 Local Organizers Dr. Jennifer Trelewicz: Microsoft, Russia Core local organizer Dr. Sergey Avdoshin: Higher School of Economics, Moscow (Высшая школа экономки) Head of Software engineering department Mr. Pavel Kobir Higher School of Economics Student of Software engineering department Ms. Elena Sivenkova Microsoft, Russia Local event organizer

14 Philosophy Philosophy: –Many schools in computer science are run each summer Typical focus: –Lectures –Homeworks –Computer projects School length –Typical school: 5 days –Our school: almost 10 days lectures project Give students real research experience Do team projects Come up with an original “Pitch” their ideas to the professors Demonstrate feasibility Give students real research experience Do team projects Come up with an original “Pitch” their ideas to the professors Demonstrate feasibility

15 Schedule

16 You are expected to… Lectures –Participate in all mandatory lectures –Participate in some guest lectures that you like Homework –Do you homework and turn it in on time Project –Group up and do a project –Participate in project presentations

17 Social Networks Photograp hs twitter? Photograp hs twitter?

18 Questions ?


Download ppt "School Introduction Ben Livshits us/um/redmond/events/sssev2011/"

Similar presentations


Ads by Google