Adrien Champion's Location
La Rochelle, Poitou-Charentes, France
Adrien Champion's Work
- Senior Research And Development Engineer @ OCamlPro
- Project Researcher @ The University of Tokyo
- Postdoctoral Research Scholar @ University of Iowa
- PhD Candidate and Research Engineer @ Rockwell Collins
- PhD Candidate @ ONERA - The French Aerospace Lab
- 6 months Internship @ National Institute of Informatics
- 2 months Internship @ IRIT (Institut de Recherche en Informatique de Toulouse)
Adrien Champion's Education
- Institut Supérieur de l'Aéronautique et de l'Espace
Doctor of Philosophy (PhD) (Software Safety and High Performance Calculus)
2011 - 2014 - Technische Universität München
Marktoberdorf NATO Summer School 2013 (Formal Methods, Formal Verification, Logic)
2013 - 2013 - Massachusetts Institute of Technology
SAT/SMT Summer School (SAT/SMT Solving, Formal Verification)
2011 - 2011
- ENSEEIHT
Master's degree (Formal logic, type theory, functional programing)
2007 - 2010
Adrien Champion's Skills
- Mathematics
- Property Directed Reachability
- Git
- Linux
- Experimentation
- OCaml
- Algorithms
- Functional Programming Languages
- Quantifier Elimination
- Semantics
Adrien Champion's Summary
Adrien Champion, based in La Rochelle, Poitou-Charentes, France, is currently a Senior Research And Development Engineer at OCamlPro, bringing experience from previous roles at The University of Tokyo, The University of Iowa, Rockwell Collins and ONERA. Adrien Champion holds a 2011 - 2014 Doctor of Philosophy (PhD) in Software Safety and High Performance Calculus @ Institut Supérieur de l'Aéronautique et de l'Espace. With a robust skill set that includes Mathematics, Property Directed Reachability, Git, Linux, Experimentation and more, Adrien Champion contributes valuable insights to the industry. Adrien Champion has 3 emails on RocketReach.
5 free lookups per month.
No credit card required.
If you need more lookups,
subscriptions start at $48 USD/month.
Not the Adrien Champion you were looking for?
Find contact details for 700 million professionals.
Others Named Adrien Champion
Top OCamlPro Employees
-
5
-
44
-
1
-
ViewAdrien Champion
Senior Research And Development Engineer at OCamlPro
La Rochelle, Poitou-Charentes, France3 -
1
-
1
-
2
-
1
-
3
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 5
free lookups / month.
Search
Search over 700
million verified professionals across 35 million companies.
Get Contact Info
Get contact details including emails and phone numbers
(business & personal).
G2Crowd Trusted
300K+
Plugin Users
