申博官网,申博娱乐登录

学校首页|收藏本站|登录

学术报告通知(编号:2009-6)

发布者:系统管理员申博官网:2009-04-17浏览次数:1550

学术报告通知(编号:2009-6)时  间: 2009年4月23日(周四)9:00- 11:00地  点:校学术会议中心二楼小报告厅报告人:Dr. Olaf Chitil题  目:Research on Functional Programming Languages单  位:Computing Laboratory, University of Kent,  UK.简   历:1995 MSc Computer Science (Diplom), RWTH Aachen, Germany,
2000 PhD Computer Science (Dr.rer.nat.), RWTH Aachen, 
Germany,thesis: Type-Inference Based Deforestation of Functional Programs。
2004 York Certificate in Academic Practice, University of York, UK。
All his research interests are connected to programming and programming language. 
He is interested in semantics and theoretical foundations of programming languages, 
type theory, program transformation, compiler construction, message-passing-based concurrency,
 programming tools, and how to program effectively. His work gravitates around the aim of supporting the programmer in developing programs more effectively. 
His favorite    programming languages are functional languages. Now he is on the Steering Committee of the International Symposium on Implementation and Application of Functional Programming Languages (IFL) and chaired IFL 2007.
 His homepage is http://www.cs.kent.ac.uk/people/staff/oc/.
XML 地图 | Sitemap 地图