Lucas Galton

Lucas Galton

Computer science


First year of Master in computer science


ENS de Rennes. Courses in computer science and mathematics.

French "Licence d'informatique"


Université de Rennes1. Courses in computer science and mathematics.

French "Baccalauréat scientifique"


Lycée Jacques Cartier, Saint-Malo

Work Experience

Research Internship at Inria Rennes, France

May 2013 - August 2013

Work on Bio Informatics algorithms running on Manycores architectures.

Wep application developpment at DID Services, France

September 2012 - May 2013

Creation of a web application destined to help architects establish cost estimates.

R&D developper at Orela, France

January 2012 - August 2012

Creation of a prototype for an embedded controller for air conditionning systems.

Key Skills

  • Programming languages: Python, PHP, Ocaml, Java, Isabelle/HOL, C/C++, Erlang, Javascript, CSS, SQL
  • Operating Systems: GNU/Linux, MacOSX
  • Misc: Latex, Git