Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Image Gallery

Verified Software Workshop
October 17–20, 2009, Beijing, China

Presentation and participant images from the annual Verified Software Workshop.

Tony HoareTony Hoare, 1980 Turing Award Winner and principal researcher of Microsoft Research Cambridge
Wolfram SchulteWolfram Schulte, Research Area Manager, Microsoft Research
Jim WoodcockJim Woodcock, Professor of Software Engineering, Department of Computer Science, University of York
Jifeng HeJifeng He, Professor, Software Engineering Institute, East China Normal University Member of Chinese Academy of Sciences
Huimin LinHuimin Lin, Researcher, Institute of Software, Chinese Academy of Sciences
Chaochen ZhouChaochen Zhou, Researcher, Institute of Software, Chinese Academy of Sciences
Wei LiWei Li, Professor, Behang University, Member of Chinese Academy of Sciences

Gernot HeiserGernot Heiser, Professor, School of Computer Science and Engineering, The University of New South Wales

Panel DiscussionPresenters take their turns in a lively panel discussion

Workshop Venue, Beijing Sigma Center, Beijing, ChinaTony Hoare addresses workshop attendees

Attendees of the Verified Software Workshop 2009Official group photo of Verified Workshop 2009 attendees

Download a high-resolution version of this image