Research, Technical Lead of Research Team, Development
Programming Languages
Networks and Distribution
Web
Parallel Programming
Databases
Program Proofs
Experience
2010-2011
Technical lead of the scalability team at MLstate
2009-2011
Researcher in start-up MLstate, on a
compiler from an homogeneous functional programming language towards full
web applications including the stack javascript/Ajax/server/database
2009
PhD of the University Paris-Est, nominated for doctoral school prize
2007
4 month stay at the University of Tokyo, on formalizing algorithmic
skeletons, funded by a japanese government grant
2005-2008
Doctorate on functional approaches and formalizations of parallel
programming, supervised by Pr. Frédéric Loulergue
2005
Engineering degree of ENSIIE
MSc in Advanced Computer Science of the University of Manchester
(3rd year of engineering school made as transfer student)
Skills
Programming Languages
Imperative :
C, Fortran, Bash, Perl, B…
Functional :
Lisp, OCaml, F#, Coq, Opa…
Object Oriented :
C++, Java, JavaScript, Python, Scala…
Compilation
Language and compiler design, formal semantics, virtual machines, program
analysis and validation (typing, abstract interpretation, formal proofs)
Operating Systems
Linux, Unix tools, Debian packaging, architecture, system programming
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
PhD
Formalization and implementation of a functional language for bulk
synchronous parallel programming and exception handling
[1][3][4]
Proofs of parallel algorithms using the same model with
proof-assistant Coq [2]
Development of a method for generalised certified parallelisation of
a class of algorithms (wide superset of map-reduce)
[2]
Teachings
Networks (L3 level)
Operating systems (L3 level)
web architecture / J2EE (M1 level)
Bibliography
[1]
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.
[2]
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.
[3] 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.
[4] 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.
[5]
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.