{{page>inc&noheader&nofooter}}
====== Aldric DEGORRE ======

Maître de conférences à L'Institut de Recherche en Informatique Fondamentale (IRIF, UMR 8243)

Université Paris-Diderot/Paris 7

==== Enseignement ====

Maître de conférences à l'Université Paris-Diderot/Paris 7 depuis 2011.

Responsable des stages de première année de l'EIDD.

Pour mes étudiants: toutes les ressources utiles sont sur la page [[https://moodlesupd.script.univ-paris-diderot.fr/|Moodle]] de la matière concernée.

== 2017-2018 ==

  * S1 : [[https://moodlesupd.script.univ-paris-diderot.fr/course/view.php?id=9447|Compléments en Programmation Orientée Objet]] (L3 Info), CM et TP
  * S1 : [[https://moodlesupd.script.univ-paris-diderot.fr/course/view.php?id=9654|Langages à Objets Avancés (M1 Info)]], TP
  * S1 : [[https://piazza.com/univ-paris-diderot.fr/fall2017/poocav/|Programmation objet, concepts avancés]] (M2 Info), TP
  * S2 : [[https://moodlesupd.script.univ-paris-diderot.fr/course/view.php?id=10248|Programmation objet en Java]] (EIDD1 ILE), CM et TP
  * S2 : [[https://moodlesupd.script.univ-paris-diderot.fr/course/view.php?id=10010|Projet Informatique]] (L2), 2 sujets encadrés

==== Recherche ====
=== Axes de recherche ===
  * entropie des langages temporisés
  * vérification quantitative
  * jeux quantitatifs sur automate
  * ordonnancement
  * langages formels
  * ...


=== Publications ===
  * E. Asarin, N. Basset, A. Degorre. Distance on timed words and applications. Formats'18 (to appear).
  * E. Asarin, J. Cervelle, A. Degorre, C. Dima, C. Dima, F. Horn, V. Kozyakin. Entropy Games and Matrix Multiplication Games. STACS'16
  * E. Asarin, N. Basset, A. Degorre. Entropy of regular timed languages. Inf. Comput. 241 (2015)
  * E. Asarin, J. Cervelle, A. Degorre, C. Dima, C. Dima, F. Horn, V. Kozyakin. Entropy Games. CoRR'15
  * E. Asarin, M. Blockelet, A. Degorre, C. Dima, C. Mu. Asymptotic behaviour in temporal logic. CSL-LICS'14
  * E. Asarin, N. Basset, A. Degorre. Spectral Gap in Timed Automata. FORMATS'13
  * E. Asarin, N. Basset, M.-P. Béal, A. Degorre, D. Perrin. Toward a Timed Theory of Channel Coding. Formats'12.
  * E. Asarin, N. Basset, A. Degorre, D. Perrin. Generating Functions of Timed Languages. MFCS'12.
  * E. Asarin, A. Degorre. Two Size Measures for Timed Languages. FSTTCS'10.
  * A. Degorre, L. Doyen, R. Gentilini, J.-F. Raskin, S. Torunczyk. Energy and Mean-Payoff Games with Imperfect Information. CSL'10.
  * E. Asarin, A. Degorre. Volume and entropy of regular timed languages: Analytical Approach. Formats'09.
  * E. Asarin, A. Degorre. Volume and entropy of regular timed languages: Discretization Approach. Concur'09.
  * E. Asarin, A. Degorre. Volume and entropy of regular timed languages. Preprint, 2009.
  * R. Alur, A. Degorre, O. Maler and G. Weiss. On Omega-Languages Defined by Mean-Payoff Conditions. FoSSaCS'09, 333-347, LNCS 5504, Springer, 2009.
  * A. Degorre and O. Maler. On Scheduling Policies for Streams of Structured Jobs.  Formats'08, 141-154, LNCS 5215, Springer, 2008. 
  * L. Hélouët, M. Zeitoun, A. Degorre. Scenarios and Covert Channels: Another Game... Proc. of Games in Design and Verification, GDV'04, 93-116, vol. 119 of Electronic Notes in Theoretical Computer Science, Elsevier, 2004.


=== Participation à projets de recherche inter-labo ===

  * Soumission de PRC en cours à l'ANR (2018)

(anciennement)

  * [[http://www.irif.univ-paris-diderot.fr/~eqinocs/|EQINOCS (ANR-11-BS02-004)]]
  * [[http://www.quasimodo.aau.dk/|QUASIMODO : « Quantitative System Properties in Model-Driven-Design of Embedded Systems »]]
  * AMAES : « Advanced Methods for Autonomous Embedded Systems »
  * [[http://www.minalogic.com/fr/projet/athole|Athole : « Architecture of data flow heterogenous Treatment Oriented Low power for Embedded systems »]]
 
==== À propos de moi ====

  * 1981 : naissance
  * 1999 : Baccalauréat série S
  * 2002-2006 : ENS Cachan, antenne de Bretagne (aujourd'hui [[http://www.ens-rennes.fr/|ENS Rennes]]).
  * 2005 : Magistère Informatique et Télécommunications et Master de Recherche en Informatique de l'Université de Rennes I. [[http://www.irif.fr/~adegorre/documents/Stage05MIT3_Degorre.pdf|Mémoire]] dirigé par [[http://people.irisa.fr/Loic.Helouet/|Loïc Hélouët]] à l'[[http://www.irisa.fr/|IRISA]] (modélisation d'une classe de canal caché en tant que jeu sur un graphe).
  * 2005-2009 : thèse à [[http://www-verimag.imag.fr/|Vérimag (CNRS, Université de Grenoble)]] sous la direction d'[[http://www-verimag.imag.fr/~maler/|Oded Maler]], sur les aspects quantitatifs des langages formels.
  * 2009-2011 : post-doc à l'[[http://www.ulb.ac.be/di/ssd/jfr/|Université Libre de Bruxelles]] dans l'équipe de [[http://www.ulb.ac.be/di/ssd/jfr/|Jean-François Raskin]] sur les jeux quantitatifs sur automate.
  * 2011- ~ : maître de conférences dans l'équipe Modélisation et Vérification du LIAFA (maintenant IRIF).



Dernière mise-à-jour : mai 2018