Matthias Függer

Research Director, CNRS

Mail: mfueggerREMOVE@lmf.cnrs.fr
Phone: +33 (0)1 81 87 00 0000 00
Office: 2S60, Bâtiment ENS - Nord  

Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France

Position

Research Director at Laboratoire Méthodes Formelles (LMF)
Co-PI of the Cellular Computing Group
Head of the Distributed Computing Group

Address

Laboratoire Méthodes Formelles (LMF)
École Normale Supérieure (ENS) Paris-Saclay
4, avenue des Sciences
91190 Gif-sur-Yvette, France.

Research

I work on systematic engineering of robust microbial systems with applications in bioproduction, diagnosis, and medical treatment. Towards this goal I use methods from experiments, modeling, numerical simulation, AI, and mathematical analysis.

Open positions

If you are interested in joining research as an Intern, PhD, or PostDoc, please contact me. For open position please consult the Cellular Computing Group site.

Teaching

  • Winter 2025: Computational Bioengineering. With Thomas Nowak.
  • Winter 2025: Initiation a la recherche at ENS Paris-Saclay. With Thomas Nowak.
  • Winter 2024: Computational Bioengineering. With Thomas Nowak.
  • Winter 2024: Initiation a la recherche (Distributed synthetic microbiology, 2h) at ENS Paris-Saclay. With Thomas Nowak.
  • Winter 2022: Initiation a la recherche (Distributed synthetic microbiology, 2h) at ENS Paris-Saclay. With Thomas Nowak.
  • Winter 2021: Initiation a la recherche (Distributed synthetic microbiology, 2h) at ENS Paris-Saclay.
  • Winter 2021: Natural algorithms. With Thomas Nowak.
  • Winter 2021: Metastability-containing Synchronization Circuits. With Cristoph Lenzen, Danny Dolev, Moti Medina, Ian W. Jones, and Johannes Bund. At CISPA, Germany.
  • Summer 2021: Clock Synchronization and Adversarial Fault Tolerance (MSc level, remote lecture, 4h) at MPI-INF together with Christoph Lenzen and Danny Dolev.
  • Winter 2020: Initiation a la recherche (Distributed synthetic microbiology, 2h) at ENS Paris-Saclay.
  • Winter 2020: How To Clock Your Computer (MSc level, remote lecture, 4h) at MPI-INF together with Christoph Lenzen, Moti Medina, Andreas Steininger, Danny Dolev, Ian Jones, and Milos Krstic.
  • Winter 2019: Initiation a la recherche (Distributed synthetic microbiology, 2h) at ENS Paris-Saclay.
  • Winter 2019: Guest lecture at MPI-INF on Distributed Computing with Bacteria.
  • Winter 2018: Initiation a la recherche (Distributed Biology, 2h) at ENS Paris-Saclay.
  • Winter 2018: Guest lecture at MPI-INF on Link Reversal Algorithms.
  • Winter 2017: Initiation a la recherche (Opinion Dynamics, 2h) at ENS Paris-Saclay.
  • Summer 2015: Beyond Classical Circuit Design at MPI-INF.

Previous Positions

  • 2016-2024: Member of the Inria Team MEXICO.
  • 2015-09/2016: Postdoc at Department 1: Algorithms and Complexity, Max-Planck-Institut für Informatik, with Christoph Lenzen.
  • 2014: Postdoc at LIX, Ecole polytechnique, with Bernadette Charron-Bost.
  • 2006-2014: Research Assistant and then Assistant Professor at the ECS Group, Department of Computer Engineering, TU Wien, with Ulrich Schmid.

Thesis

Habilitation thesis at Université Paris-Saclay. Computing at the border of abstractions: the power of timed, non-binary, distributed circuits. Jan 6, 2022.

Publications