Louis Gesbert

PhD in Computer Science

Research Engineer, Technical Lead, Coder

  • Programming Languages
  • Networks and Distribution
  • Web
  • Parallel Programming
  • Databases
  • Program Proofs

Experience

  • 2012-2013

    Research and Developpement Engineer at OCamlPro
  • 2010-2011

    Technical lead of the scalability team at MLstate
  • 2009-2011

    Research and Developpement Engineer in start-up MLstate, on a compiler from the homogeneous functional programming language OPA 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
  • Networks

    Network architecture, protocol implementation, routing, administration
  • Distribution

    Parallel programming, pi-calculus, actor-based distribution, consensus algorithms
  • Others

    • Team lead
    • Fluent English

Achievements

  • MLstate

    • 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.