Matthias Függer

Research

My current focus is the systematic engineering of robust microbial systems, with applications in bioproduction, diagnosis, and medical treatment. This includes distributed computation in bacterial systems, particularly communication and coordination between cells. My approach combines experiments, modeling, numerical simulation, AI, and mathematical analysis.

I also study distributed algorithms and digital circuits, including consensus in dynamic networks, timing models, and fault tolerance.

• Asymptotic Subspace Consensus in Dynamic Networks

  Matthias Függer, Thomas Nowak

  5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026) · 2026

  PDF DOI arXiv HAL

• A quasi-stationary distribution bound for fault analysis in gene regulatory networks

  Fabricio Cravo, Matthias Függer, Thomas Nowak

  Journal of The Royal Society Interface · 2026

  PDF DOI HAL

• MobsPy: A programming language for biochemical reaction networks

  Fabricio Cravo, Gayathri Prakash, Matthias Függer, Thomas Nowak

  PLOS Computational Biology · 2025

  PDF DOI HAL

• Phage-mediated intercellular CRISPRi for biocomputation in bacterial consortia

  Abhinav Pujar, Amit Pathania, Corbin Hopper, Amir Pandi, Cristian Ruiz Calderón, Matthias Függer, Thomas Nowak, Manish Kushwaha

  Nucleic Acids Research · 2025

  PDF DOI bioRxiv HAL

• An Allee-based distributed algorithm for microbial whole-cell sensors

  Fabricio Cravo, Matthias Függer, Thomas Nowak

  npj Systems Biology and Applications · 2024

  PDF DOI bioRxiv HAL

• Majority consensus thresholds in competitive Lotka–Volterra populations

  Matthias Függer, Thomas Nowak, Joel Rybicki

  Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing (PODC) · 2024

  PDF DOI arXiv HAL

• Tight Bounds for Asymptotic and Approximate Consensus

  Matthias Függer, Thomas Nowak, Manfred Schwarz

  Journal of the ACM (JACM) · 2021

  PDF DOI HAL

• A Faithful Binary Circuit Model

  Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid

  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2020

  PDF DOI HAL

Software

MobsPy

A Python-based language for modeling biochemical reaction networks using meta-species and meta-reactions.

With Fabricio Cravo, Gayathri Prakash, and Thomas Nowak.

Source code Paper

• Computational Bioengineering 2026 · ENS Paris-Saclay · With Thomas Nowak.
• Initiation à la recherche 2026 · ENS Paris-Saclay.

Videos

Cellular Computing Team on YouTube

Computational Bioengineering · 2025 Full lecture series ▶ Watch playlist on YouTube

Vibe-Formalizing our TCS Paper in Lean · 2026 Formalizing a theoretical computer science paper in Lean. ▶ Watch on YouTube

Contact