Retour
English

Jean-Lou De Carufel
Formation scientifique


Ma généalogie scientifique sur Mathematics Genealogy Project.


STAGE POSTDOCTORAL (2011 – 2015)

Carleton University – School of Computer Science
Ottawa, Ontario, Canada
Sujet : Géométrie algorithmique
Directeurs de recherche : Prosenjit Bose, Vida Dujmović, Anil Maheshwari, Pat Morin et Michiel Smid

Bourses :
Période Source Montant  
2013 – 2015 IdEx Bordeaux (France) 90 800 € DÉCLINÉE
2011 – 2013 FQRNT 60 000 $  
2012 FNRS (Belgique) 3 900 €  



STAGE POSTDOCTORAL (2009 – 2010)

Université d'Ottawa – Ottawa-Carleton Institute for Computer Science
Ottawa, Ontario, Canada
Sujet : Géométrie algorithmique et vision numérique
Directeurs de recherche : Prosenjit Bose et Robert Laganière


DOCTORAT EN INFORMATIQUE (2003 – 2009)

Université Laval – Département d'informatique et de génie logiciel
Québec, Québec, Canada
Sujet : Méthodes formelles
Directeur de recherche : Jules Desharnais
Thèse : Demonic Kleene Algebra

Bourses :
Période Source Montant  
2005 – 2006 FQRNT 26 666 $  
2005 Fondation de l'université Laval 12 000 $ DÉCLINÉE
2003 – 2004 CRSNG 39 300 $  
2003 Université Laval 2 000 $  


Cours suivis :
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 CRÉDITS DE COURS SOUS-GRADUÉS EN INFORMATIQUE (1997 – 2003)

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

Cours suivis :
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


MAÎTRISE EN MATHÉMATIQUES (2000 – 2002)

Université Laval – Département de mathématiques et de statistique
Québec, Québec, Canada
Sujet : Structures algébriques
Directeur de recherche : Claude Levesque
Mémoire : Courbes elliptiques et groupes de torsion

Bourses :
Période Source Montant  
2000 – 2002 CRSNG 34 600 $  
2000 – 2002 FQRNT 30 100 $ DÉCLINÉE


Cours suivis :
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


BACCALAURÉAT EN MATHÉMATIQUES (1997 – 2000)

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

Bourses :
Période Source Montant
2000 Département de mathématiques et de statistique, Université Laval 300 $
1999 CRSNG 5 000 $
1998 North American Life Insurance Company 500 $
1997 Université Laval 500 $


Cours suivis :
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