A Vision for Computer Science – The System Perspective
Event details
| Date | 08.04.2011 |
| Hour | 14:15 |
| Speaker | Prof. Joseph Sifakis, Verimag Laboratory |
| Location |
INM 202
|
| Category | Conferences - Seminars |
Abstract : In this talk, Joseph Sifakis will discuss the evolution of Computer Science and in particular its shift of focus from algorithms and programs to systems. He will advocate for a coherent scientific foundation of system design and present a vision for its development in three work directions:
Marrying Physicality and Computation: Computation models ignore physical time and resources and are by their nature very different from analytic models used in physical systems engineering. In order to take into account interaction of computing systems with physical environments they must be enriched and extended with paradigms and methods from Electrical Engineering and Control Theory.
Component-based Construction: Complex systems are designed by assembling heterogeneous components. Heterogeneity has different sources including a large variety of interaction mechanisms, synchronous or asynchronous execution and different levels of abstraction.
Adaptivity: Complex systems must provide a service meeting given requirements in interaction with uncertain environments. Adaptivity is a means to enforce correctness in the presence of uncertainty by using control-based techniques. It encompasses a new and realistic vision for “intelligent systems” quite different from the “strong” vision of Artificial Intelligence.
He will conclude with general remarks about the nature of Computer Science as a scientific discipline on its own right and advocate for a deeper interaction and cross-fertilization with other more mature disciplines.
Bio : Joseph Sifakis is a CNRS researcher and the founder of Verimag laboratory (http://www-verimag.imag.fr/), in Grenoble, France. He studied Electrical Engineering at the Technical University of Athens and Computer Science at the University of Grenoble.
Joseph Sifakis is recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to the emergence 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 (http://www-verimag.imag.fr/~sifakis/).
Joseph Sifakis has received with Ed Clarke and Allen Emerson for their contribution to Model Checking, the Turing Award for 2007 (http://awards.acm.org/homepage.cfm?srt=all&awd=140).
Links
Practical information
- General public
- Free
Contact
- Christine Moscioni