Back
Français

Jean-Lou De Carufel
Research Projects


RESEARCH INTERESTS
– Computational geometry
– Mathematics of computer science
– Computer vision
– Algebraic structures
– Formal software specification and formal software verification
– Foundation of mathematics


CARLETON UNIVERSITYSchool of Computer Science       (2009 – 2015)
Ottawa, Ontario, Canada

I work in computational geometry within the Computational Geometry Lab. My research activities focus on the following subjects:
– geometric optimisation
– geometric probing
– algorithm design
– analysis of algorithms
– characterization of problems without exact solution
– design of approximation algorithms for problems without exact solution

UNIVERSITY OF OTTAWASchool of Information Technology and Engineering       (2009 – Now)
Ottawa, Ontario, Canada

In the context of the NAVIRE project, I work in computer vision within the VIVA Research Lab. My research activities focus on the following subjects:
– image matching (planar images, cylindrical panoramas, cylindrical panoramas with planar images)
– efficient matching in large sets of sequential images
– epipolar geometry


UNIVERSITÉ LAVALDépartement d'informatique et de génie logiciel       (2003 – 2009)
Québec, Québec, Canada

Ph.D. in computer science supervised by Jules Desharnais. My research activities focused on the following subjects:
– algebraic structures
– lattice theory
– formal languages and automata theory
– theorem provers
– formal software specification and formal software verification


UNIVERSITÉ LAVALDépartement de mathématiques et de statistique       (2000 – 2002)
Québec, Québec, Canada

Masters degree in mathematics supervised by Claude Levesque. My research activities focused on the following subjects:
– algebraic structures
– elliptic curves