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.

Research projects

  • RT Raman[2024]. Real-time Raman (PHC Maimonide). Collaboration between Volcani Institute and LMF.
  • UnPlaD[2024]. Understanding Plant-pathogen Diversity (GS LSH, LM@W). Collaboration between I2BC and LMF.
  • PROCEED [2023]. Concept grant (AAP Preuve de Concept de l’OI BioProbe). Collaboration between LUMIN and LMF.
  • DREAMY [2021-2025]. Distributed Algorithms for Microbiological Systems (ANR-funded research project). See DREAMY webpage for details.
  • HicDiesMeus [2017-2022]. Working group on Highly Constrained Discrete Agents for Modeling Natural Systems (funded by DigiCosme).
  • BACON [2021]. Bacterial Consensus. (funded by INS2I CNRS Émergence)
  • ETSHI [2020-2021]. Efficient Test Strategies for SARS-CoV-2 in Healthcare Institutions. (funded by Université Paris-Saclay/ENS Paris-Saclay/CARE). The project is a collaboration between LISN (Université Paris-Saclay), LMF (Université Paris-Saclay/ENS Paris-Saclay), Micalis (INRAe), and the Algorithms and Complexity Group (Max Planck Institut für Informatik).
  • ABIDE [2020] . Algorithms in Birth-Death Systems (funded by INS2I CNRS Émergence)
  • COMBACT [2019-2020]. Digital Communication Models for Bacteria (funded by RFSI Ile de France grant). Studying bacterial communication in E. coli.
  • DEPEC MODE [2019]. Deriving Phage Communication Models. Projets Emergents 2019 du Departement STIC. Funding for experiments for a phage communication model for E. coli and M13 phages.
  • DICIMUS [2018-2019]. Institut Farman project on modeling of bacterial interactions using techniques from distributed computing theory and VLSI design. Focus of the project is to obtain experimental data to verify and calibrate theoretical models.
  • SIC [2013-2018]. Austrian FWF project on Self-stabilizing Byzantine Fault-Tolerant Distributed Algorithms for Integrated Circuits. Aim of the project was to study distributed algorithms that can be efficiently implemented directly in hardware, in order to provide robust services to other hardware components or the application layer. Examples are robust clock synchronization, clock frequency adaptation in presence of voltage droops, and communication infrastructure on a chip.

Teaching

  • 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