PhD in Computer Science
Research Engineer, Technical Lead, Coder
- Programming Languages
- Networks and Distribution
- Parallel Programming
- Program Proofs
2012-2013Research and Developpement Engineer at OCamlPro
2010-2011Technical lead of the scalability team at MLstate
2009PhD of the University Paris-Est, nominated for doctoral school prize
20074 month stay at the University of Tokyo, on formalizing algorithmic skeletons, funded by a japanese government grant
2005-2008Doctorate on functional approaches and formalizations of parallel programming, supervised by Pr. Frédéric Loulergue
2005Engineering degree of ENSIIE
MSc in Advanced Computer Science of the University of Manchester (3rd year of engineering school made as transfer student)
Imperative :C, Fortran, Bash, Perl, B…
Functional :Lisp, OCaml, F#, Coq, Opa…
CompilationLanguage and compiler design, formal semantics, virtual machines, program analysis and validation (typing, abstract interpretation, formal proofs)
Operating SystemsLinux, Unix tools, Debian packaging, architecture, system programming
NetworksNetwork architecture, protocol implementation, routing, administration
DistributionParallel programming, pi-calculus, actor-based distribution, consensus algorithms
- Team lead
- Fluent English
- Conception and development of a database request generation engine integrated into the OPA compiler
- In charge of the compilation process and of packaging of OPA
- Conception of a high-level network communication library based on typed channels, inspired from Pi-calculus.
- Development of a graph-structured noSQL database with history and distribution
- Research and conception for a project of distributed, extensible, fault-tolerent and scalable database with dynamic load-balancing
- Formalization and implementation of a functional language for bulk synchronous parallel programming and exception handling   
- Proofs of parallel algorithms using the same model with proof-assistant Coq 
- Development of a method for generalised certified parallelisation of a class of algorithms (wide superset of map-reduce) 
- Networks (L3 level)
- Operating systems (L3 level)
- web architecture / J2EE (M1 level)
-  L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski. Bulk Synchronous Parallel ML with Exceptions. In Future Generation Computer Systems, volume 26, pages 486-490, 2010.
-  L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, and J. Tesson. Systematic Development of Correct Bulk Synchronous Parallel Programs. In International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pages 334-340. IEEE Computer Society, 2010.
-  L. Gesbert and F. Loulergue. Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. In International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pages 201-208. IEEE Computer Society, 2007.
-  L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski. Bulk Synchronous Parallel ML with Exceptions. In Distributed and Parallel Systems (DAPSYS), pages 33-42. Springer, 2006.
-  W. Bousdira, F. Gava, L. Gesbert, F. Loulergue, and G. Petiot. Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. In First International Conference on Networking and Computing (ICNC 2010), 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), pages 191-196. IEEE Computer Society, 2010.