Media
Back
Professor Gérard Huet is a Research Director at INRIA Rocquencourt (The French National Institute for Research in Computer Science and Automatic Control), a member of the French Academy of Sciences and of Academia Europaea. He headed the International Relations Office of INRIA in the period 1997-1999. Professor Huet is actively involved in various research areas such as logic and reasoning, theoretical computer science, software engineering, linguistics engineering, knowledge engineering and certification of safety-critical software developments. At present, Professor Huet is associated with the Cristal project which investigates the design, implementation and theoretical foundations of strongly-typed programming languages. His current main interest is computational linguistics technology.
Professor Huet is the author of over 70 publications, presentations, journals and books. He designed the Constructive Engine for the Calculus of Constructions, and worked on several major software projects such as the Mentor structure editor, the Caml programming environment, and the Coq proof assistant. In 1998 he was awarded the Herbrand Award for his work on automated reasoning.
In this lecture, Professor Huet will discuss the main concepts studied at INRIA for the formalisation of programming, the tools developed and their application to the certification of safety-critical software. Professor Huet will illustrate his talk with a few success stories from INRIA start-up companies in this area and will conclude with future prospects.
The French National Institute for Research in Computer Science and Automatic Control (INRIA) is a public scientific and technological establishment under the double supervision of the Research Ministry and the Ministry of Economy, Finance and Industry. It targets to be a research institute at the heart of the information society. INRIA aims to network skills and talents from the fields of information and computer science and technology from the entire French research system. Such networks will allow scientific excellence to be used for technological progress, for creating employment and wealth and for new uses in response to socio-economic needs.
The lecture will be held at 5:30pm on Thursday, May 31, at Lecture Theatre A, Chow Yei Ching Building, the University of Hong Kong. Members of the media and interested party are cordially invited to attend.
Research Director at The French National Institute for Research in Computer Science and Automatic Control to Deliver Lecture at HKU
24 May 2001
In celebration of the 90th anniversary of the Faculty of Engineering at the University of Hong Kong, the Faculty is to organise a distinguished lecture on May 31 when Professor Gérard Huet will deliver a talk entitled 25 Years of Formal Methods and Tools at INRIA: An Overview.
Professor Gérard Huet is a Research Director at INRIA Rocquencourt (The French National Institute for Research in Computer Science and Automatic Control), a member of the French Academy of Sciences and of Academia Europaea. He headed the International Relations Office of INRIA in the period 1997-1999. Professor Huet is actively involved in various research areas such as logic and reasoning, theoretical computer science, software engineering, linguistics engineering, knowledge engineering and certification of safety-critical software developments. At present, Professor Huet is associated with the Cristal project which investigates the design, implementation and theoretical foundations of strongly-typed programming languages. His current main interest is computational linguistics technology.
Professor Huet is the author of over 70 publications, presentations, journals and books. He designed the Constructive Engine for the Calculus of Constructions, and worked on several major software projects such as the Mentor structure editor, the Caml programming environment, and the Coq proof assistant. In 1998 he was awarded the Herbrand Award for his work on automated reasoning.
In this lecture, Professor Huet will discuss the main concepts studied at INRIA for the formalisation of programming, the tools developed and their application to the certification of safety-critical software. Professor Huet will illustrate his talk with a few success stories from INRIA start-up companies in this area and will conclude with future prospects.
The French National Institute for Research in Computer Science and Automatic Control (INRIA) is a public scientific and technological establishment under the double supervision of the Research Ministry and the Ministry of Economy, Finance and Industry. It targets to be a research institute at the heart of the information society. INRIA aims to network skills and talents from the fields of information and computer science and technology from the entire French research system. Such networks will allow scientific excellence to be used for technological progress, for creating employment and wealth and for new uses in response to socio-economic needs.
The lecture will be held at 5:30pm on Thursday, May 31, at Lecture Theatre A, Chow Yei Ching Building, the University of Hong Kong. Members of the media and interested party are cordially invited to attend.
Facebook 
HKU IOS App 
HKU Android App 
Social Media and Apps