founding father

Description

How can we master the cyber-world we live in along with the threats and opportunities it brings about? This is the challenge that the "society of information" posits to us, according to the distinguished computer scientist Joseph Sifakis. In a fascinating talk in which technology meets philosophy, Sifakis argues that, although immaterial, information is the most precious commodity of our times. However, in democratizing information, technology calls for our responsibility both in dealing with cyber-crime and in making the most of it in the domains of transportation, resource management and health with the ultimate aim to view our world differently. Βorn in Heraklion, Crete, Joseph Sifakis is a Professor of Computer Science at EPFL, CNRS Research Director, and founder of the Verimag laboratory in Grenoble, a leading research laboratory in the area of critical embedded systems. He is the founding father of the Model Checking, which is the main method for systems validation, and in 2007 he received the extremely prestigious Turing Award, considered as the "Nobel Prize" for Computing. He studied Electrical Engineering at the National Technical University of Athens and received a doctorate in Computer Science from the University of Grenoble and a Dr.h.c. from École Polytechnique Fédérale de Lausanne. Joseph Sifakis is a member of the French Academy of Sciences and the National Academy of Technologies of France. He is a Grand Officer of the French National Order of Merit and commander in France's Legion of Honour. In 2009, he received the Hellenic Parliament Foundation Αward for Parliamentarism and Democracy and the Leonardo Da Vinci Medal in 2012. In the spirit of ideas worth spreading, TEDx is a program of local, self-organized events that bring people together to share a TED-like experience. At a TEDx event, TEDTalks video and live speakers combine to spark deep discussion and connection in a small group. These local, self-organized events are branded TEDx, where x = independently organized TED event. The TED Conference provides general guidance for the TEDx program, but individual TEDx events are self-organized.* (*Subject to certain rules and regulations)