Image Gallery
Verified Software Workshop
October 17–20, 2009, Beijing, China
Presentation and participant images from the annual Verified Software Workshop.
Tony Hoare, 1980 Turing Award Winner and principal researcher of Microsoft Research Cambridge
Wolfram Schulte, Research Area Manager, Microsoft Research
Jim Woodcock, Professor of Software Engineering, Department of Computer Science, University of York
Jifeng He, Professor, Software Engineering Institute, East China Normal University Member of Chinese Academy of Sciences 
Huimin Lin, Researcher, Institute of Software, Chinese Academy of Sciences
Chaochen Zhou, Researcher, Institute of Software, Chinese Academy of Sciences
Wei Li, Professor, Behang University, Member of Chinese Academy of Sciences
Gernot Heiser, Professor, School of Computer Science and Engineering, The University of New South Wales
Presenters take their turns in a lively panel discussion
Tony Hoare addresses workshop attendees
Official group photo of Verified Workshop 2009 attendees
- Workshop Home
- Agenda and Presentations
- Speakers
- Sponsors
- Image Gallery
