Jean-Lou De Carufel

Research Projects

Research Projects

– Computational geometry

– Mathematics of computer science

– Computer vision

– Algebraic structures

– Formal software specification and formal software verification

– Foundation of mathematics

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

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

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

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