
|
Latest News
Noshir Contractor confirmed as Speaker
Joseph Sifakis to speak at the WWW Forum
Tim Berners-Lee Confirmed as Speaker Important Dates
|
News
Noshir Contractor confirmed as SpeakerNoshir Contractor is the Jane S. & William J. White Professor of Behavioral Sciences in the School of Engineering, School of Communication and the Kellogg School of Management at Northwestern University, USA. He is the Director of the Science of Networks in Communities (SONIC) Research Group at Northwestern University.
Joseph Sifakis to speak at the WWW ForumJoseph Sifakis is recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to emergence of the area of model-checking, currently the most widely-used method for the verification of industrial applications. His current research activities include component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques. Joseph Sifakis has broad experience with industry, notably though joint projects with partners such as Astrium, the European Space Agency, France Telecom, ST Microelectronics and he has also been active for many years in consulting. Joseph Sifakis has received with Ed Clarke and Allen Emerson for their contribution to Model Checking, the Turing Award for 2007. He is also the recipient of the CNRS Silver Medal in 2001.
Tim Berners-Lee Confirmed as SpeakerProfessor Sir Tim Berners-Lee, inventor of the World Wide Web, director of the W3C and director of WSRI, will be speaking at WebSci09 More information will be announced when it is available. |
In collaboration with Supported in part by under grant numbers EP/F013701/1 and EP/F013604/1. Hosted At Joint Events |