Théo Winterhalter

Personnal Information

Théo Winterhalter — Computer Science Student at ENS Cachan

firstname.lastname@ens-cachan.fr

PGP key

Experience

Chalmers (Göteborg, Sweden)

2015 (5 months) — under the supervision of Andreas Abel
An Extension of Martin-Löf Type Theory with Sized Types

LIRMM (Montpellier, France)

2014 (2 months) — under the supervision of Laurent Imbert and Eleonora Guerrini
Can Covering Systems Defeat SCA?

Studies

ENS CACHAN Computer Science

2016-2017 — Internship abroad

2015-2016 — MPRI (M2), 3rd yeat at ENS Cachan

2014-2015 — MPRI (M1), 2nd year at ENS Cachan

2013-2014 — L3, 1st year at ENS Cachan

Lycée Joffre Prepa class in maths and physics

2012-2013 — MP*

2011-2012 — MPSI

Distinctions

11th at the Prologin 2014 competition (national french cs & programming contest)

Contributions