Lucas Galton

Lucas Galton

Computer science

Education

First year of Master in computer science

Ongoing

ENS de Rennes. Courses in computer science and mathematics.

French "Licence d'informatique"

2011-2013

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

French "Baccalauréat scientifique"

2010

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