Allyx FONTAINE

Research

Interests
- Upper and Lower Bounds for Deterministic and Randomised Algorithms
- Streaming Algorithms
- Pattern Matching
- Analyses of Randomised Distributed Algorithms (for Handshake, Matching, MIS, etc., Problems)
- Proofs about those algorithms by using the proof assistant Coq
Library
- RDA Randomised Distributed Algorithms Library
Publications
- Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous
  Allyx Fontaine, Akka Zemmari
  JFLA - Journées francophones des langages applicatifs, France (2013)
- Optimal Bit Complexity Randomised Distributed MIS and Maximal Matching Algorithms for Anonymous Rings
  Allyx Fontaine, Yves Métivier, Mike Robson, Akka Zemmari
  Information and Computation (2013)
- On Lower Bounds for the Time and the Bit Complexity of some Probabilistic Distributed Graph Algorithms
  Allyx Fontaine, Yves Métivier, Mike Robson, Akka Zemmari
  SOFSEM - 40th International Conference on Current Trends in Theory and Practice of Computer Science, Slovakia (2014)
- Analyses et Preuves Formelles d'Algorithmes Distribués Probabilistes
    Thèse soutenue le 16 juin 2014 à l'Université de Bordeaux devant le jury composé de :
    Pierre Castéran (Co-directeur), Jérémie Chalopin (Examinateur), Dominique Méry (Rapporteur),
    Mohamed Mosbah (Président), Vlady Ravelomanana (Rapporteur), Akka Zemmari (Directeur)
- Dictionary Matching in a Stream
  Raphaël Clifford, Allyx Fontaine, Ely Porat, Benjamin Sach, Tatiana Starikovskaya
  ESA - 23rd Annual European Symposium on Algorithms, Greece (2015)
- The k-mismatch problem revisited
  Raphaël Clifford, Allyx Fontaine, Ely Porat, Benjamin Sach, Tatiana Starikovskaya
  SODA - 27th Annual Symposium on Discrete Algorithms, USA (2016)
- A Fault-Tolerant Handshake Algorithm for Local Computations
  Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari
  WAINA 2016 - IEEE 30th International Conference on Advanced Information Networking and Applications, Workshop, Suisse (2016)

Teaching 2010-2014 - ENSEIRB-MATMECA (IPB)

Algorithmics
- Algorithmes et Structures de Données TD,Département Electronique Semestre 5 (équivalent L3)
- Initiation à l'algorithmique TD, Département Informatique Semestre 5 (équivalent L3)
- Structures arborescentes TD, Département Informatique Semestre 5 (équivalent L3)
Computer Programming
- Projet de Programmation C Projet, Département Informatique Semestre 6 (équivalent L3)
- Soutenance de Projet de Fin d'Année Jury, Département Informatique Semestre 8 (équivalent M1)
Databases
- Systèmes de Gestion de Bases de Données TD, Département Informatique Semestre 7 (équivalent M1)
Formal Methods
- Logique et preuve TD, Département Informatique Semestre 6 (équivalent L3)
- Conception de logiciels - Event B CI, Département Informatique Semestre 9 (équivalent M2)

2013 - Pôle Universitaire Français de Ho Chi Minh (Vietnam)

Computer Programming
- Analyse syntaxique et projet de programmation 3 CM, Département Informatique L3

Allyx FONTAINE

Please visit my new webpage