报告人：Prof. Stéphane GRUMBACH
题 目：Programming networks in an abstract way 时 间：2009年2月24日（周二）下午3:00 地 点：蒙民伟楼109室 Abstraction: Handling networks is one of the major challenges of IT with an increasing number of applications which have to cope with the limitations, the dynamics or the heterogeneity of networks, while providing a seamless behavior. Currently, programming applications over networks is a very tedious task, involving complex issues at low network if not physical layers. In this talk, I will present preliminary results on how to use logical languages to define high level abstractions for programming networks. These abstractions should allow to express globally the desired results, without specifying how they are computed, while at the same time, allow a compilation into efficient distributed algorithms. I will also present the Netquest system, developed in LIAMA, which supports a declarative recursive language to write protocols. Stéphane GRUMBACH is director of the Sino-French IT Lab, LIAMA in Beijing. The joint lab has been created in 1997 by the French Institute for Computer Science and Control INRIA and the Chinese Academy of Sciences, together with the Institute of Automation CASIA. Principal investigator of the Netquest Project team in LIAMA, he pursues research on ad hoc networks of cooperating objects. Their objective is to develop innovative solutions for adaptive networking and applications over multihop networks based on distributed query processing techniques. Researcher in the field of databases, he has worked, for many years in the Verso project at INRIA, on the development and the foundations of query languages for complex data types, such as complex objects, spatio-temporal data and statistical data. He has developed the DEDALE system, a spatial database prototype based on constraints. He has the habilitation as PhD advisor in the University of Paris XI since 1995, as well as in the Institute of Automation of the Chinese Academy of Sciences since 2006. He is the first foreigner to obtain this title, in any field, in the Chinese Academy of Sciences. |
| 今天是： |
