MOSCOVA Research team
Mobililty, security, concurrence, verification and analysis
- Leader : Luc Maranget
- Research center(s) : CRI de Paris
- Field : Algorithmics, Programming, Software and Architecture
- Theme : Programs, Verification and Proofs
Team presentationThe research of the MOSCOVA project-team follows two main directions: studying programming languages for distributed and mobile applications, and analyzing and verifying multitasking programs. The team produces a system (compiler and runtime environment) for programming such distributed and mobile applications.
- Fine-grain integration of concurrent programming into functional programming, while preserving static typing, pattern matching and modularity.
- Interaction control by using lexical scoping, achievable by classical cryptographic methods.
- Failure management in a distributed setting.
Our work is based upon the join-calculus, a theory of concrurrency that is well adapted to distributed systems. More generally, the team takes part to studying and implementing functionnal languages. As regards our activity on program verification and analysis, we aim at producing tools that handle industrial size codes, detect interference beetween tasks, out of bound array accesses and overflows.
International and industrial relations
- We distribute implementations of our join-calculus based languages.
- We collaborate with the danish company Terma A/S, on a methodogical study for producing robust space software.
- We are part of the Esprit projet PEPITO with KTH, EPFL, SICS, UCL and the University of Cambridge.
- Several members of the MOSCOVA team direct courses at École polytechnique.