langues

  • Français ; langue maternelle
  • Anglais ; courant

enseignement

  • Algorithmique 1 & 2 ; TP ; L1 ; Langage C++
  • Développement Web 1 & 2 ; TP ; L1 & L2 ; HTML, CSS, Bash, PHP
  • Théorie des langages et compilation ; TP ; L3 ; C++ avec Flex et Bison
  • Approche Orientée Objet ; TD ; L2
  • Programmation orientée objet c++ ; TP ; L3 ; cours de C++ avancé
  • Réseaux ; TP ; M1 ; introduction aux réseaux
  • Programmation C ; TP ; L2
  • Base de données et conception ; TP ; L2 ; SQL

programmation

  • Java
  • Xtend
  • C++
  • PHP
  • C
  • Bash
  • Python
  • Go
  • Haskel

frameworks

  • Eclipse Modeling Framework
  • ATL
  • Cuda

outils

  • Git
  • Traefik
  • Docker
  • Ansible

autre

  • auto-hébergement
  • photographie
  • astrophotographie
  • impression 3D

experiences Scientifiques

    • Post-Doctorat
    • 2020/09 ; 2021/08 ; GEODES, Université de Montréal, Canada & équipe ERIS, ESEO-Tech, France
    • Poursuite des travaux de thèses. Portage des outils développé durant la thèse à l'écosystème web
    • Attaché Temporaire d'Enseignement et de Recherche
    • 2020/01 ; 2020/08 ; LERIA, Université d'Angers, France
    • Prologation des travaux commencés durant la thèse
    • Doctorat
    • 2016/09 ; 2019/12 ; LERIA, Université d'Angers, France
    • Exploration d'ensembles de modèles, sous la direction de Frédéric Saubion et co-encadré par Fabien Chhel et Frédéric Jouault
    • Séminaire Dagstuhl
    • 2018/12 ; 2018/12 ; Schloss Dagstuhl, Wadern, Allemagne
    • Participation au séminaire Dagstuhl #18491: Multidirectional Transformations and Synchronisations
    • Invitation
    • 2018/09 ; 2018/09 ; Université McGill, Montréal, Québec, Canada
    • Invitation d'un mois par Pr. Daniel Varo
    • Stage de Master 2
    • 2016/03 ; 2016/08 ; Inoue Lab, National Institute of Informatics, Tokyo, Japon
    • Multi-Objectives Distributed Constraint Optimization Problems
    • Stage de Master 1
    • 2015/04 ; 2015/06 ; LERIA, Université d'Angers, France
    • Développer et incorporer une Machine Abstraite de Warren au solver ASP ASPeRiX.

encadrement

    • Matthew Coyle ; M1 ; 2021
    • Ajout d'un solveur logique à ATLc

formations

    • Doctorat en informatique
    • 2016/09 ; 2019/12 ; LERIA, Université d'Angers et équipe ERIS, ESEO-Tech
    • Exploration d'ensembles de modèles, sous la direction de Frédéric Saubion et co-encadré par Fabien Chhel et Frédéric Jouault
    • Master recherche en informatique: Intelligence Décisionnelle
    • 2014/09 ; 2016/08 ; Université d'Angers
    • mention très bien
    • Licence en informatique
    • 2011/09 ; 2014/08 ; Université d'Angers
    • mention très bien

publications

    • Congrès international
      • Designing, animating, and verifying partial UML Models
      • Frédéric Jouault Valentin Besnard Théo Le Calvar Ciprian Teodorov Matthias Brun Jerome Delatour
      • The 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Montréal, Canada
      • 10.1145/3365438.3410967
      • Consulter l'article en ligne
      • Toward a Declarative Language to Generate Explorable Sets of Models
      • Théo Le Calvar Fabien Chhel Frédéric Jouault Frédéric Saubion
      • 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), April 2019, Limasol, Chypre
      • 10.1145/3297280.3297461
      • Consulter l'article en ligne
      • Efficient ATL Incremental Transformations
      • Théo Le Calvar Fabien Chhel Frédéric Jouault Mickael Clavreul
      • The 12th International Conference on Model Transformations (ICMT '19), publié dans le Journal of Object Technology 18.3 (2019), July 2019, Eindhoven, The Netherlands
      • 10.5381/jot.2019.18.3.a2
      • Consulter l'article en ligne
    • Atelier de congrès international
      • The TTC 2018 Social Media Case, by ATL and AOF
      • Valentin Besnard Frédéric Jouault Théo Le Calvar Massimo Tisi
      • 11th Transformation Tool Contest, co-located with the 2018 Software Technologies : Applications and Foundations (STAF 2018), Toulouse, France
      • Consulter l'article en ligne
      • Using process algebra to statically analyze incremental propagation graphs
      • Théo Le Calvar Fabien Chhel Frédéric Jouault Frédéric Saubion
      • MODELS Workshops 2018, Copenhague, Danemark
      • Consulter l'article en ligne
      • Truth Tables to Binary Decision Diagrams in Modern ATL
      • Dennis Wagelaar Théo Le Calvar Frédéric Jouault
      • Proceedings of the 12th Transformation Tool Contest, July 2019, Eindhoven, The Netherlands
      • Consulter l'article en ligne
      • Intensional View Definition with Constrained Incremental Transformation Rules
      • Théo Le Calvar Frédéric Jouault Fabien Chhel Mickael Clavreul
      • Proceedings of the 1st International Workshop on View-Oriented Software Engineering (VoSE) Co-located with the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019, Munich, Germany
      • 10.1109/MODELS-C.2019.00061
    • Congrès national
      • Transformation de Modèles et Contraintes pour l’Ingénierie Dirigée par les Modèles
      • Théo Le Calvar Fabien Chhel Frédéric Jouault Frédéric Saubion
      • Journées Francophones de Programmation par Contraintes 2018, Amiens, France
      • Consulter l'article en ligne
      • Transformation de modèles et programmation par contraintes avec ATLC
      • Théo Le Calvar Fabien Chhel Frédéric Jouault Frédéric Saubion
      • JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Albi, France
      • Consulter l'article en ligne
      • Génération d'ensembles de modèles explorables par couplage de contraintes et de transformation de modèles
      • Théo Le Calvar Fabien Chhel Frédéric Jouault Frédéric Saubion Eugene Syriani
      • JFPC 2021 - Actes des 16es Journées Francophones de Programmation par Contraintes, Nice, France
      • Consulter l'article en ligne