Aldric DEGORRE

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

Université Paris-Diderot/Paris 7

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 Moodle de la matière concernée.

• S1 : Compléments en Programmation Orientée Objet (L3 Info), CM et TP
• S1 : Langages à Objets Avancés (M1 Info), TP
• S1 : Programmation objet, concepts avancés (M2 Info), TP
• S2 : Programmation objet en Java (EIDD1 ILE), CM et TP
• S2 : Projet Informatique (L2), 2 sujets encadrés

• entropie des langages temporisés
• vérification quantitative
• jeux quantitatifs sur automate
• ordonnancement
• langages formels
• …

• 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.

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

(anciennement)

• EQINOCS (ANR-11-BS02-004)
• QUASIMODO : « Quantitative System Properties in Model-Driven-Design of Embedded Systems »
• AMAES : « Advanced Methods for Autonomous Embedded Systems »
• Athole : « Architecture of data flow heterogenous Treatment Oriented Low power for Embedded systems »

• 1981 : naissance
• 1999 : Baccalauréat série S
• 2002-2006 : ENS Cachan, antenne de Bretagne (aujourd'hui ENS Rennes).
• 2005 : Magistère Informatique et Télécommunications et Master de Recherche en Informatique de l'Université de Rennes I. Mémoire dirigé par Loïc Hélouët à l'IRISA (modélisation d'une classe de canal caché en tant que jeu sur un graphe).
• 2005-2009 : thèse à Vérimag (CNRS, Université de Grenoble) sous la direction d'Oded Maler, sur les aspects quantitatifs des langages formels.
• 2009-2011 : post-doc à l'Université Libre de Bruxelles dans l'équipe de 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