Formal Methods
Head : I. WalukiewiczMembres Publications




Research themes :

The Formal Methods team is active in many areas of theoretical computer science and its applications. Its work is grouped in three themes:

  • Infrmatique Linguistique (IL)
    • Head: C. Retoré.
    • Keywords: Informatics and linguistics, automatic language processing, formal grammars, resource logic, linear logic, Lambek calculus, Lambda calculus.
  • Logiques, Graphes et Langages (LGL)
    • Head: B. Courcelle.
    • Keywords: Graph decomposition, recognisability, monadic second order logic, mu calculus, games, proof assistants, finite description of countable objects.
  • Modélisation et Vérification (MV)
    • Head: I. Walukiewicz.
    • Keywords: Verification, synthesis, infinite state systems, concurent systems, real-time, program logics, symbolic representations.



Rapport d'activité (in French) (PDF)



----

Events:

  • ESSLLI'09 21st European Summer School in Logic, Language and Information, July 2009).
  • STACS'08, Symposium on Theoretical Aspects of Computer Science, (February 2008).
  • AltaRICA'07, wokshop of AltaRICA users and developers. (November 2007).
  • MOVEP'06, MOdelling and VErifying parallel Processes (June 2006).


Software:

  • AltaRica: language and tools for modelling and verification.
  • Autowrite: a tool for checking properties of term rewrite systems.
  • FASTer: a tool dedicated to the analysis of infinite systems.
  • Grail: a tool for the development and prototyping of grammar fragments for categorial logics.
  • ViSiDiA: Visualization and Simulation of Distributed Algorithms.
  • XFLG: Implantation d’un analyseur pour grammaire LFG.


Projects:

  • CRYSCOE (Cryptography for the Security of Embedded Codes), ANR "Sécurité des systèmes embarqués et Intelligence Ambiante", 2005-2008.
  • Timed-DISCOVERI (Timed and distributed models for control and verification), Indo-French Research network Project, 2005-2008.
  • A3PAT (Automatic Assistance for Proof Assistants with Traces), ANR, "Sécurité et Informatique" 2006-2009.
  • GRAAL (Decompositions of Graphs and Algorithms), ANR "programme blanc", 2006-2009.
  • MOSAIQUE (High Level Syntactic Models), ARC INRIA, 2006-2007.
  • AVeriSS (Automated Verification of Software Systems), ANR "Sécurité et Informatique", 2007-2010.
  • DocFlow (Analysis, monitoring and optimisation of Web documents and services), ANR "Masse de Données et Connaissances Ambiantes" 2007-2009.
  • DOTS (Distributed Open and Timed Systems), ANR "Sécurité et Informatique" 2007--2010.
  • PRELUDE (Towards a Theoretical Pragmatics Based on Games and Continuations), ANR, "programme blanc", 2007-2010.
  • SPaCIFY (Engineering of Integrated Models and Formal Methods for Spaceflight Software Development), ANR "Technologies logicielles", 2007-2009.
  • RIMEL (Incremental Refinement of Event Models), ANR "Sécurité et Informatique", 2007-2009.
  • GAMES (Games for Design and Verification) ESF Research Networking Programme, 2008-2012.
  • BINCOA (Symbolic Methods for BINary Code Analysis), ANR ARPEGE, 2009-2011.
  • GDR IM Informatics and Mathematics.
  • GDR GPL Software and Program Engineering.


Seminars:



Liste des Membres de l'équipe Méthodes Formelles


Nom-PrénomEmailTéléphoneBureauStatutWebFonction
Aguerre Cedricemail+33 (0)5 40 00 35 04 277Ingénieur sous contrat
Aucouturier Nicolasemail+33 (0)5 40 00 35 54 125 Doct
Balaguru Srivathsanemail+33 (0)5 40 00 35 53 367 Doct
Bauderon Michelemail+33 (0)5 40 00 60 94 202 Pr
Ben-zakour Asmaemail+33 (0)5 40 00 0 Doct
Bernard Romainemail+33 (0)5 40 00 84 19 123 Doct
Billaud Michelemail+33 (0)5 40 00 69 21 213 MdC
Bourreau Pierreemail+33 (0)5 40 00 24 90 276 Doct
Carrere Frederiqueemail+33 (0)5 40 00 84 25 309 MdC Coordinatrice mobilité Internationale Dpt Info
Casteran Pierreemail+33 (0)5 40 00 69 31 304 MdC
Chervet Patrickemail+33 (0)5 40 00 38 79 121 Doct
Chucri Faresemail+33 (0)5 40 00 24 90 276 Doct
Clement Lionelemail+33 (0)5 40 00 35 08 211 MdC Responsable Stages Master
Courcelle Brunoemail+33 (0)5 40 00 60 86117 Pr
Dicky Anneemail+33 (0)5 40 00 69 16206 MdC
Durand Irèneemail+33 (0)5 40 00 69 14 204 MdC
Facchini Alessandroemail+33 (0)5 40 00 69 27 104 Doct
Filou Vincentemail+33 (0)5 40 00 35 00 373 Doct
Fleury Emmanuelemail+33 (0)5 40 00 69 34261 MdC
Forget Julienemail+33 (0)5 40 00 35 11 378 PostDoc
Gimbert Hugoemail+33 (0)5 40 00 84 28 275 CR
Gloess Paulemail+33 (0)5 40 00 69 29207 Pr
Griffault Alainemail+33 (0)5 40 00 69 15262 MdC
Hamdi Hediemail+33 (0)5 40 00 35 14 105 Doct
Hamdi Omessaademail+33 (0)5 40 00 69 32 110ATER
Henry Patrickemail+33 (0)5 40 00 66 10209 IR
Herbreteau Fredericemail+33 (0)5 40 00 33 36 263 MdC
Heussner Alexanderemail+33 (0)5 40 00 24 93 106 Doct
Janin Davidemail+33 (0)5 40 00 69 16206 MdC
Kuntz Fabienemail+33 (0)5 40 00 69 27 104 Doct
Kuske Dietrichemail+33 (0)5 40 00 38 21 308 DR
Lapoire Denis email+33 (0)5 40 00 69 29 207 MdC Directeur Dpt Informatique ENSEIRB
Lefeuvre Anaisemail+33 (0)5 40 00 35 04 277 Doct
Leroux Jeromeemail+33 (0)5 40 00 35 09264 CR
Loulou Moniaemail+33 (0)5 40 00 24 85 124 Doct
Ly Olivieremail+33 (0)5 40 00 84 28 275 MdC Resp. Filière PUF Vietnam IUT Bdx1
Martin Loicemail+33 (0)5 40 00 35 00 373Ingénieur sous contrat
Mazoit Fredericemail+33 (0)5 40 00 69 12361 MdC
Mery Brunoemail+33 (0)5 40 00 84 19123 Doct
Moot Richardemail+33 (0)5 40 00 29 28209 CR
Mosbah Mohamedemail+33 (0)5 40 00 69 17 363 Pr
Muscholl Ancaemail+33 (0)5 40 00 35 21 321 Pr
Musumbu Kanindaemail+33 (0)5 40 00 38 76260 MdC
Oualhadj Youssoufemail+33 (0)5 40 00 38 79 121 Doct
Point Geraldemail+33 (0)5 40 00 38 76 260 IR ACMO
Rao Michaelemail+33 (0)5 40 00 38 73 311 CR
Renault Davidemail+33 (0)5 40 00 35 39122 MdC
Retore Christianemail+33 (0)5 40 00 38 72 208 Pr Resp. Thème Informatique et Linguistique + Projet INRIA Signes
Sénizergues Géraudemail+33 (0)5 40 00 35 26 312 Pr
Salvati Sylvainemail+33 (0)5 40 00 35 23 210 CR
Sutre Gregoireemail+33 (0)5 40 00 33 36263 CR
Sylvestre Marcemail+33 (0)5 40 00 35 54 125 Doct
Thuillet Celineemail+33 (0)5 40 00 35 94 219 Doct
Tounsi Mohamedemail+33 (0)5 40 00 35 00 373 Doct
Vincent Aymericemail+33 (0)5 40 00 35 09264 MdC
Vinogradova Nataliaemail+33 (0)5 40 00 84 27 325 Doct
Walukiewicz Igoremail+33 (0)5 40 00 69 03 320 DR Chef équipe Méthodes Formelles
Weil Pascalemail+33 (0)5 40 00 84 23 362 DR Directeur Adjoint
Wu Zhilinemail+33 (0)5 40 00 69 08 115 PostDoc
Zeitoun Marcemail+33 (0)5 40 00 60 94 202 Pr

Page mise à jour le 25/02/2010 à 16:26