Michael Cadilhac
• France
• research
Current:
Intern in computer science research, LRI/Paris XI
Master student, LMFI / Jussieu
Past: Intern, LRI/INRIA
Montreal, Canada AreaMichael Cadilhac
Address: Montreal, Canada Area
Current:
- Research engineer at Université de Montréal
Past:
- Intern in computer science research at LRI/Paris XI
- Master student at LMFI / Jussieu
- Student
Education:
- Université Denis Diderot (Paris VII)
- Ecole pour I'Informatique et les Techniques Avanc
People Network: 122
Industry: Research
Websites:
Michael Cadilhac’s Summary
Interested in mathematical logic and theoretical computer science. Aim to do a Ph. D. thesis starting mid-2008, preferably in the US/Canada/UK.
My main interest is in the theory of computation (descriptive/computational complexity, recursion theory, ...), but I have a good background in lambda calculus (from basic System F to the proof/program correspondence of classical logic) and in model-checking and approximation.
My plans include to make some internships/research missions in 2007/2008 then a PhD thesis in 2008.
Michael Cadilhac’s Specialties:
Complexity theory, lambda calculus, science oriented programmation.
Michael Cadilhac’s Contact Settings
Interested In:
- career opportunities
- consulting offers
- job inquiries
- reference requests
- getting back in touch
Additional Information
Michael Cadilhac’s Websites:
- My Website
- My Company
Michael Cadilhac’s Interests:
Mathematical logic, theoretical computer science, theory of computation, lambda calculus, badminton, gospel choir