Skip to main content

Type systems for object-oriented languages and their use in verification techniques

Objective



Research objectives and content: In the first part of the project we study static type systems for reasoning about concurrent systems. In the second part of our project we will apply our results to asynchronous calculi (when emission of message is non-blocking), beginning with the asynchronous pi-calculus. The objectives of the project are the following: Development of new mathematical tools and algebraic theories for proving properties of calculi for mobile processes; Transfers of the above tools and theories to some concurrent languages (Pict, Join, CML, ect); New type systems for languages for process mobility and for object-oriented languages. Training content (objective, benefit and expected impact) The goal is to acquire knowledge of the following crucial fields: Mobile systems Type systems Object-oriented languages Verification techniques Links with industry / industrial relevance (22) CNET (Centre National d'Etudes des Telecommunications) France Telecom is one of the most important European company in communication. The host institution has an established collaboration with CNET which is interested in the evolution of research on mobile systems.

Coordinator

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA
Address
Route Des Lucioles 2004
06902 Sophia Antipolis
France