This colloquium closes the cycle of lectures entitled "Why and how the world is going digital", taught by Prof. Gérard Berry, holder of the 2007-2008 Liliane Bettencourt Chair in Technological Innovation.
The morning will be devoted to three presentations on bioinformatics, a crossroads of disciplines that is fundamental for the future. The informational aspect of biological systems will be presented through three types of research: the creation and management of immune information, the computational functioning of groups of neurons, and the application of program and circuit proof techniques to the study of biochemical reactions in the cell, led by :
Prof. Philippe Kourilsky, Collège de France, Chair of Molecular Immunology, specialist in molecular genetics, graduate of the École Polytechnique. He chairs the Singapore Immunology Network (SigN), within which an Institute of Immunology is currently being created.
François Fages, research director at INRIA Paris-Rocquencourt, is in charge of the Contraintes project. He specializes in mathematical logic and programming theory. His current interests are constraint programming for Combinatorics problem solving, and computer modeling of biochemical processes at the cellular level.
Pr Alexandre Pouget heads the Computational Cognitive Neuroscience Laboratory at the University of Rochester (USA). His research focuses on the development of computational theories of representation in biological neural networks, with applications in the fields of perception, decision-making, learning and motor control.
The afternoon will feature two presentations on two key topics of 21st-century computing: the insertion of all objects into the great network that is the Web, and the general problem of information security in computers, objects and networks, led by :
Alberto Sangiovanni-Vincentelli, Edgar L. and Harold H. Buttner Professor of Electronics and Computer Science. Buttner Chair in Electronics and Computer Science at UC Berkeley, and founder and director of the European GIE PARADES (Project on Advanced Research on Architectures and Design of Electronic Systems) in Rome. He is co-founder of Cadence Design Systems and Synopsys, both leaders in electronic CAD. He is Chief Technology Advisor at Cadence.
Pr Martin Abadi, Professor of Computer Science at the University of California Santa Cruz and Principal Researcher at Microsoft Research. He is interested in programming languages and computer security. In 2007, he received the SIGOPS Hall of Fame Award and the SIGSAC Outstanding Innovation Award from the Association for Computing Machinery for his work on distributed systems security