Turing Award Winner Professor Amir Pnueli of New York University delivered a lecture in our University

Professor Amir Pnueli of New York University, Turning Award winner, visited our university on the invitation of Academician He Jifeng of our School of Software Engineering and gave an academic report titled From Property Norms to Synthesizing Method of Designing to the teachers and students of the School in the Mathematics Building of the North Zhongshan Road Campus on December 8th.

 

Professor Pnueli elaborated the importance and research history of synthesis, an issue in software engineering, and pointed out emphatically that testing should be done prior to design and implementation, rather than afterwards. Professor Pnueli explained basic approach of synthesis implementation in a concise way through vivid examples, and introduced some applications of synthesis method in reaction systems.

 

That afternoon Professor Pnueli had a cordial talk with the post-graduates on some academic questions they concerned. He provided some opinions and suggestions to the students regarding projects they were studying on, and introduced some of his research findings in the related fields as well. The students all felt benefited a lot. 

 

 Professor Amir Pnueli delivering his lecture

 Academician He Jifeng and Professor Amir Pnueli talking cordially