报告题目：Introduction to the functional language: OCAML 

报 告 人：Prof. Jean-Paul Bodeveix, Mr. Mamoun Filali

报告地点： 计算机学院实验楼102多媒体教室

报告时间：2016年4月19 上午9:00-11:00

                      2016年4月20 上午9:00-11:00

                      2016年4月25 上午9:00-11:00

报告简介：

In this course, we introduce functional programming through the Ocaml language. After a short introduction to functional programming, we present the basic functional concepts of the Ocaml language: basic types and expressions, environments and declarations, strong static polymorphic typing and type synthesis, recursivity, higher order programming, modular programming, exception handling. Each concept is illustrated through small examples. Toy case studies concerning semantics of programming languages and proof theory are considered.

报告人简介：

Dr. Prof. Jean-Paul Bodeveix received a PhD of Computer Science from the University of Paris-Sud 11 in 1989. He has been assistant professor at University of Toulouse III since 1989 and is now Professor of computer science since 2003. His main research interests concern formal specifications, automated and assisted verification of protocols as well as of proof environments. He has participated in European and national projects related to these domains. His current activities are linked to real time modeling and verification via model checking techniques, assisted development of correct by construction models using refined-based development methods and meta-level reasoning using set theory-based tools or type theory-based tools (Coq).

Dr. Mamoun Filali is a full time researcher at CNRS (Centre National de la Recherche Scientifique). His main research interests concern the certified development of distributed and embedded systems. He is concerned by development methods through formally verified refinements (B, Event B). He has also studies real-time model checking and theorem proving. During the last years, he has been mainly involved in the French nationwide TOPCASED project where he was concerned by the verification topic. He has also participated to the proposal of the AADL behavioral annex which has been adopted as part of the AADL SAE standard.

计算机科学与技术学院（&国际合作交流处）