Venus AUEB Forum

Embedded Systems are electronic components with software, that are specifically designed to provide services in various devices. The great majority (98%) of microprocessors are embedded, and are used in industrial sectors such as transport (avionics, space, automotive, trains), electrical and electronic appliances, process control, telecommunications, e-commerce, and e-health. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology.

As opposed to other systems, embedded systems should meet requirements for autonomy and optimal use of their resources. This raises fundamental problems that call for enriching computer science with new concepts and paradigms, from control theory and electrical engineering.

The lectures will cover a range of topics spanning both theoretical and practical aspects of embedded systems design. This includes Component-based Design Techniques, Multi-core Architectures and Supercomputing, Wireless Networks, Formal Verification, Security and Timing Analysis.

Lecturers:

Joseph Sifakis
CNRS Research Director, Founder of VERIMAG Laboratory
Turing Award (2007)

Angelos Keromytis
Assoc. Professor, Computer Science Dept., Columbia University,
Director of the Network Security Lab

Edward Lee
Robert S. Pepper Distinguished Professor, Electrical Engineering and Computer Sciences Dept., University of California at Berkeley

Amir Pnueli
Professor, Computer Science Dept., Courant Institute, New York University
Turing Award (1996)

Constantine D. Polychronopoulos
Professor, Dept. of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign

Mateo Valero
Professor, Computer Architecture Dept., Technical University of Catalonia

Reinhard Wilhelm
Professor, Chair for Programming Languages and Compiler Construction, Saarland University