Current Location:homepage  News
Prof. Joseph Sifakis, a Turing Award Winner, visited HIT
Editor:贾岩  Updated:2018-01-05  Views:27


From December 28, 2017 to January 5, 2018, at the invitation of the School of Computer Science, with the support of the International Project Management Center of the International Cooperation Department, Prof. Joseph Sifakis, the 2007 ACM Turing Award winner, research director of the Scientific Research Center in France and founder of the Verimag Laboratory at the world-famous Embedded Systems Research Center, visited our school.

On December 29th morning, Prof. Joseph Sifakis participated in the Computer Science Seminar of 2017 National Fundamental Top-Level Students Training Pilot Project and presented a report entitled Computing Curricula - Design Principles and Trends at the conference, sharing his experience and insights on international high-level computer system curriculum design with computer science teachers from top universities in China (Tsinghua University, Peking University, Zhejiang University, Harbin Institute of Technology, Wuhan University, Fudan University, etc.), which resonates attending teachers widely.


On December 29th afternoon, Vice President Ren Nanqi met with Prof. Joseph Sifakis in Room 101 of the Administrative Building. Based on the previous cooperation foundation, the School of Computer Science hired Prof. Joseph Sifakis as the director of “Harbin Institute of Technology International Internet of Things Laboratory (IoT)”. Ren Nanqi issued a letter of appointment for the director and jointly unveiled the laboratory. The two sides discussed the follow-up high-level plans for cooperation in the field of Internet of Things. Both are looking forward to using the platform of the IoT International Laboratory to carry out deeper cooperation and build the research direction of HIT to make a world-class academic direction.


On December 31st morning, Prof. Joseph Sifakis came to the School of Computer Science and heard development reports on three first-level disciplines, including computer science and technology, software engineering, and cyberspace security. Prof. Joseph put forward very pertinent opinions on the discipline construction and curriculum system of our school, and also proposed a series of amendments to the International Assessment Report of the School of Computer Science. Professor Joseph also demonstrated his complete set of concepts for computer science education. His advanced computer education concept based on deep scientific research has enabled the teachers attended the conference to gain a lot.


On the afternoon of January 3 and January 4, Professor Joseph Sifakis presented two reports for the teachers and students of the entire university, whose names are “The system design art in the era of the Internet of Things: Status and Trends”, and “The system design in the era of the Internet of Things: Challenges and Trends”. The series of academic reports elaborated the opportunities and challenges brought by computer science and technology in the era of the Internet of Things and shared the most cutting-edge technology trends in the field of Internet of Things. The atmosphere of the reporting process was very enthusiastic. The interest of the teachers and students at the conference was very strong. The teachers and students cherished the opportunity for face-to-face exchanges with the master, enthusiastically asked questions and spoke positively. Prof. Joseph Sifakis’s patience and in-depth answers made the teachers and students gain a lot. The master has a wide field of vision, keen insight, and rich experience in the field of computer science. This visit greatly inspired the interest of teachers and students in the field of Internet of Things and will have far-reaching influences on their theoretical research and educational practice.  

During the visit, Prof. Joseph Sifakis actively participated in the construction of the “International Internet of Things Joint Laboratory” and conducted two sessions with the teachers of the School of Computer Science in the laboratory on December 31 and January 2 respectively. He heard the research presentations of the lab members, put forward the research direction of the lab in the future, and determined a number of research projects to be carried out in the next five years. 

In addition, Prof. Joseph Sifakis also deliberately held discussions with outstanding students from the School of Computer Science and the Honor School.

       The Turing Award was established by the American Computer Association (ACM) in 1966 to reward individuals who have made important contributions to the computer industry. It is the most prestigious and noblest awards in the computer industry, which is known as the Nobel Prize in Computer Science. Joseph Sifakis is the Director of Research at the National Research Centre (CNRS) in France and the winner of the 2001 Silver Medal at the National Research Centre of France. He is also the founder of Verimag Laboratories, a French research center known for its embedded systems. He invented the Model-Checking technology widely used in the industry and used mathematical algorithms to verify whether a software or hardware system design satisfies the preset safety or reliability requirements. The technology has many applications in industrial inspection, such as chip detection, communication protocols, external device control software, embedded systems (such as in airplanes, trains, rockets, satellites, or mobile phones), integrated circuit design, security algorithms, and so on. Joseph Sifakis gained international reputation for applying the model checking method to the verification of real-time systems, and thus won the 2007 ACM Turing Award in collaboration with two other American scholars engaged in model checking research. On the other hand, as the technical coordinator of Embedded System Design Research Alliance “ARTIST2 Embedded Systems Design” of the European “Excellent Network”, Prof. Josef Sifakis is responsible for the coordination of the research of 35 European research teams, so as to develop theoretical and practical applications for embedded system design with high performance and high reliability.

On May 21-27, 2017, Prof. Joseph Sifakis made his first academic visit to our university and reached an agreement on the cooperation of the HIT International Internet of Things Laboratory. From June to November 2017, teachers in the direction of the Internet of Things at the School of Computer Science conducted detailed discussions with Prof. Joseph Sifakis through emails and implemented relevant details of the Internet of Things laboratory. This visit was Professor Joseph Sifakis’s second visit to further promote cooperation between the two parties.

Prof. Joseph Sifakis’s two visits in 2017 were part of recent efforts of the School of Computer Science, to strengthen international exchanges and cooperation and carry out “Academic Visit Program for the World's Leading Academic Masters”. The school invites Turing Award winners, academicians of the American Academy of Sciences/Engineering of the computer field, ACM Fellowships, and IEEE Fellowships to visit. Through academic reports, discussions with teachers and students, listening to subject development reports, establishing joint laboratories, etc., it promotes the international perspective of the college teachers and students, and tracks the research frontier of the world's top computer scientists. In addition to the “Academic Visit Program for the World's Leading Academic Masters”, the School of Computer Science has also launched a series work of international cooperation and exchanges, including “International First Class Academic Lectures/Teaching Programs,” “International Top Academic Managers and Journal Editors Visiting Programs,” and “International Youth Scholars Introducing Smart Plans”, which have facilitated the pace of building a world first class computer science discipline in our school.