Retour
English

Jean-Lou De Carufel
Projets de recherche


INTÉRÊTS DE RECHERCHE
– Géométrie algorithmique
– Mathématiques de l'informatique
– Vision numérique
– Structures algébriques
– Spécification formelle et vérification de logiciels
– Fondements des mathématiques


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

Je travaille en géométrie algorithmique au sein du Computational Geometry Lab. Mes travaux de recherche portent sur les aspects suivants :
– optimisation géométrique,
– exploration géométrique ("geometric probing"),
– conception d'algorithmes,
– analyse d'algorithmes,
– caractérisation de problèmes sans solution exacte,
– conception d'algorithmes d'approximation pour les problèmes sans solution exacte.

UNIVERSITÉ D'OTTAWAÉcole d'ingénierie et de technologie de l'information       (2009 – Maintenant)
Ottawa, Ontario, Canada

Je travaille en vision numérique au sein du VIVA Research Lab dans le cadre du projet NAVIRE. Mes travaux de recherche portent sur les aspects suivants :
– appariement d'images (images planaires, panoramas cylindriques, panoramas cylindriques avec images planaires),
– appariement efficace d'images séquentielles,
– géométrie épipolaire.


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

Doctorat en informatique sous la supervision de Jules Desharnais. Mes travaux de recherche ont porté sur les aspects suivants :
– structures algébriques,
– théorie des treillis,
– théorie des langages et des automates,
– démonstration semi automatique de théorèmes,
– spécification formelle et vérification de logiciels.


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

Maîtrise en mathématiques sous la supervision de Claude Levesque. Mes travaux de recherche ont porté sur les aspects suivants :
– structures algébriques,
– courbes elliptiques.