Back
Français

Jean-Lou De Carufel
Scientific Education


My scientific genealogy on Mathematics Genealogy Project.


POSTDOC (2011 – 2015)

Carleton University – School of Computer Science
Ottawa, Ontario, Canada
Subject: Computational geometry
Advisors: Prosenjit Bose, Vida Dujmović, Anil Maheshwari, Pat Morin and Michiel Smid

Grants:
Duration Source Amount  
2013 – 2015 IdEx Bordeaux (France) €90 800 DECLINED
2011 – 2013 FQRNT $60 000  
2012 FNRS (Belgium) €3 900  



POSTDOC (2009 – 2010)

University of Ottawa – Ottawa-Carleton Institute for Computer Science
Ottawa, Ontario, Canada
Subject: Computational geometry and computer vision
Advisors: Prosenjit Bose and Robert Laganière


PH.D. IN COMPUTER SCIENCE (2003 – 2009)

Université Laval – Département d'informatique et de génie logiciel
Québec, Québec, Canada
Subject: Formal methods
Advisor: Jules Desharnais
Thesis: Demonic Kleene Algebra

Grants:
Duration Source Amount  
2005 – 2006 FQRNT $26 666  
2005 Fondation de l'université Laval $12 000 DECLINED
2003 – 2004 NSERC $39 300  
2003 Université Laval $2 000  


Courses taken:
GLO-65186 Analyse statique et métrique du logiciel
GLO-66528 Validation de logiciels
IFT-64893 Cours diagnostic de connaissances générales
IFT-64894 Cours diagnostic de synthèse
IFT-65764 Apprentissage automatique


39 CREDITS OF UNDERGRADUATE COURSES IN COMPUTER SCIENCE (1997 – 2003)

Université Laval – Département d'informatique et de génie logiciel
Québec, Québec, Canada

Courses taken:
GLO-21941 Spécification formelle et vérification de logiciels
IFT-10541 Structures de données
IFT-10542 Langages de programmation
IFT-10544 Systèmes d'exploitation
IFT-14165 Téléinformatique
IFT-15750 Éléments d'algorithmique
IFT-15751 Informatique théorique
IFT-17586 Intelligence artificielle I
IFT-17588 Analyse d'algorithmes
IFT-19022 Modèles et langages des bases de données
IFT-19837 Introduction à Internet
IFT-19946 Programmation orientée objet
IFT-21453 Analyse et conception de systèmes d'information


MASTERS DEGREE IN MATHEMATICS (2000 – 2002)

Université Laval – Département de mathématiques et de statistique
Québec, Québec, Canada
Subject: Algebraic structures
Advisor: Claude Levesque
Thesis: Courbes elliptiques et groupes de torsion

Grants:
Duration Source Amount  
2000 – 2002 NSERC $34 600  
2000 – 2002 FQRNT $30 100 DECLINED


Courses taken:
MAT-62154 Sujets spéciaux (Théorèmes de Gödel et Théorème de Kirby-Paris)
MAT-62661 Algèbre
MAT-62663 Algèbre (thèmes choisis: Théorie du codage)
MAT-62666 Analyse (thèmes choisis: Introduction aux ondelettes)
MAT-62667 Équations aux dérivées partielles
MAT-63681 Théorie algébrique des nombres
MAT-64442 Théorie de la mesure et intégration


BACHELOR DEGREE IN MATHEMATICS (1997 – 2000)

Université Laval – Département de mathématiques et de statistique
Québec, Québec, Canada

Grants:
Duration Source Amount
2000 Département de mathématiques et de statistique, Université Laval $300
1999 NSERC $5 000
1998 North American Life Insurance Company $500
1997 Université Laval $500


Courses taken:
LAT-10927 Initiation au latin I
MAT-10382 Algèbre linéaire I
MAT-10383 Algèbre linéaire II
MAT-10386 Algèbre commutative
MAT-10391 Logique mathématique
MAT-10392 Fondements des mathématiques
MAT-10393 Histoire des mathématiques
MAT-14284 Fonctions de variable complexe
MAT-16139 Résolution de problèmes mathématiques
MAT-17442 Méthodes numériques
MAT-17591 Analyse I
MAT-17593 Géométrie
MAT-17595 Équations différentielles
MAT-19024 Équations algébriques et théorie des groupes
MAT-19511 Calcul avancé
MAT-19512 Analyse II
MAT-19513 Analyse III
MAT-19514 Algèbre classique
MAT-19515 Structures algébriques
MAT-19516 Séminaire sur les mathématiques actuelles
MAT-19517 Projet de fin d'études
MAT-19519 Introduction aux fractals et aux systèmes dynamiques
MAT-21443 Introduction à l'analyse fonctionnelle
MAT-21445 Stage en milieu de travail
STT-16557 Probabilités I
STT-16558 Statistique mathématique I