Prof. Joseph Sifakis 2018 Turing Awardee, Computer Science @ Sahyadri Mangaluru Prof
Total Page:16
File Type:pdf, Size:1020Kb
I CO DR NC A L Y A H V E A S SAHYADRI CONCLAVE SCIENCE • TECHNOLOGY • MANAGEMENT 6 - 10th January Prof. Joseph Sifakis 2018 Turing Awardee, Computer Science @ Sahyadri Mangaluru Prof. Joseph Sifakis - Turing Awardee, Computer Science Prof. Joseph Sifakis is Emeritus Senior CNRS Researcher at Verimag. His current research interests cover fundamental and applied aspects of embedded systems design. The main focus of his work is on the formalization of system design as a process leading from given requirements to trustworthy, optimized and correct-by-construction implementations. He has been a full time professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, which he directed for 13 years. Verimag is a leading research laboratory in the area of embedded systems, internationally known for the development of the Lustre synchronous language used by the SCADE tool for the design of safety-critical avionics and space applications. In 2007, Professor Joseph Sifakis has received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today. He has participated in many major industrial projects led by companies such as Airbus, EADS, France Telecom, Astrium, and STMicroelectronics. He is a member of the French Academy of Sciences, a member of the French National Academy of Engineering, a member of Academia Europea, a member of the American Academy of Arts and Sciences, and a member of the National Academy of Engineering. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He has received the Leonardo da Vinci Medal in 2012. Prof. Joseph Sifakis has received the Award of the Hellenic Parliament Foundation for Parliamentarism and Democracy in 2009. He is a commander of the Greek Order of the Phoenix. He has been the President of the Greek Council for Research and Technology for the period February 2014 – April 2016. Sahyadri Conclave The inception of Sahyadri Science Conclave was done to nurture a vision that will foster new ideas, inspire scientific inquiry, enable the critical examination of scientific question and activities from a new point of view and directions for a better tomorrow. In addition to establishing and encouraging personal contacts. The “Sahyadri Conclave” is an initiative to popularize Science & Technology amongst the masses and create an awareness regarding its impact on Socio-economic levels for a sustainable development of the nation. It will be providing a platform for budding young scientists and managers to deliberate on a panel discussion on varied topics of Science, Technology and Management, Lectures presented by the Nobel Laureates, Turing Awardee, Renowned Scientists and Industrialists interactive sessions relating to various application oriented themes and issues will be discussed. Prof. Joseph Sifakis addressing the gathering Prof. Joseph Sifakis spoke on “The nature of computing”. He said that Information is in the mind of the beholder. He stressed that Theory of computation is time ignorant. He spoke about the meaning of computing, Domains of knowledge – abstraction theory and modularity. He introduced Linking physicality and computation using two approaches namely digital physics and natural computing. He concluded the talk by quoting a Greek poem called Ithaka by Constantine P Cavafy. Inauguration of Embedded System by Prof. Joseph Sifakis - Turing Awardee With Embedded System Team Addressing the gathering during Valedictory program Token of Gratitude to Prof. Joseph Sifakis Two-Day Workshop on “System Design in the Era of IoTs” by Prof. Joseph Sifakis, Turing Awardee Day 1 Day 2 Two-day workshop on “System Design in the Era of Internet of Things” by Prof. Joseph Sifakis, Turing Awardee is organized during 11th to 12th January 2018. On the Day One of the workshop, Prof. Sifakis discussed about technological convergence, vision, scientific and technical challenges involved in Internet of Things (IoT). He also emphasized risk factors affecting IoT systems. He also mentioned about the present day application that uses IoT to communicate between electronic devices. Interaction with media personnel at The Ocean Pearl, Mangaluru News Clips An Aerial View of SAHYADRI CAMPUS The Sahyadri College of Engineering & Management is affiliated to Visvesvaraya Technological University - VTU and is approved by the Government of Karnataka, AICTE, New Delhi and Ministry of HRD, Government of India. It has been Accredited "A" Grade by the NAAC. The sprawling campus just off the Mangalore-Bangalore National Highway 48 is situated on the banks of the river Nethravathi. Surrounded with natures pristine beauty and an excellent infrastructure coupled with dedicated and experienced faculty has made the Campus a much sought-after abode of learning. TM SAHYADRI COLLEGE OF ENGINEERING & MANAGEMENT (Affiliated to VTU, Belagavi and Approved by AICTE, New Delhi) Sahyadri Campus, Adyar, Mangaluru - 575 007 + 91-824-2277222 | [email protected] | www.sahyadri.edu.in.