LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 新闻 » 在读博士

PROSPERI Laurent

在读博士
科研组 : DELYS
到达日期 : 2019-9-1
办公位置 : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 26-00, Étage 2, Bureau 225
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 87 67, Laurent.Prosperi (at) nulllip6.fr
https://laurentprosperi.info
责任导师 : Mesaac MAKPANGOU
助理责任导师 : SHAPIRO Marc

High level distributed computing

I am working on exploring and developing new methods, tools and languages to ease the development of distributed systems. As a results deployments, consistency and fault-tolerance should be programmable as first class abstractions and not addressed by a separate system, which is the regular workaround. Finally, our approach should help avoiding many of opportunities for error, by focusing on the essential properties of application correctness, furthermore we aim to apply leverage language and verification tools, to aid the programmer in choosing the best consistency level and in synthesizing a program that respects its specification.
 Mentions légales
网站导航 |