Nom Degorre
Prénom Aldric
Téléphone 01 57 27 92 32
Bureau 4018
Mail Aldric.Degorre@irif.fr
Page web https://www.irif.fr/~adegorre/

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

2017-2018

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

À propos de moi

  • 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