# Matthias Függer Research Director, CNRS [Laboratoire Méthodes Formelles](https://lmf.cnrs.fr/) Université Paris-Saclay · CNRS · ENS Paris-Saclay - Co-PI, [Cellular Computing Team](https://www.cellularcomputing.group/) - Head, [Distributed Computing Group](https://lmf.cnrs.fr/Research/CDS) [Email](mailto:mfuegger@lmf.cnrs.fr) [Publications](https://mfuegger.github.io/publications.html) [Google Scholar](https://scholar.google.com/citations?user=MoWte0cAAAAJ&hl=en) [ORCID](https://orcid.org/0000-0001-5765-0301) [GitHub](https://github.com/mfuegger) [Institutional profile](https://home.lmf.cnrs.fr/MatthiasFuegger/) ## 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](https://www.dreamy.run/) , 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. ## Selected publications [All publications](https://mfuegger.github.io/publications.html) ### [Asymptotic Subspace Consensus in Dynamic Networks](https://doi.org/10.4230/LIPIcs.SAND.2026.10) Matthias Függer, Thomas Nowak 5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026) · 2026 [PDF](https://drops.dagstuhl.de/storage/00lipics/lipics-vol373-sand2026/LIPIcs.SAND.2026.10/LIPIcs.SAND.2026.10.pdf) [DOI](https://doi.org/10.4230/LIPIcs.SAND.2026.10) [arXiv](https://arxiv.org/abs/2602.19121) [HAL](https://hal.science/hal-05774068v1) ### [A quasi-stationary distribution bound for fault analysis in gene regulatory networks](https://doi.org/10.1098/rsif.2025.1041) Fabricio Cravo, Matthias Függer, Thomas Nowak Journal of The Royal Society Interface · 2026 [PDF](https://www.biorxiv.org/content/early/2025/10/22/2025.10.21.683707.full.pdf) [DOI](https://doi.org/10.1098/rsif.2025.1041) [HAL](https://hal.science/hal-05652063) ### [MobsPy: A programming language for biochemical reaction networks](https://doi.org/10.1371/journal.pcbi.1013024) Fabricio Cravo, Gayathri Prakash, Matthias Függer, Thomas Nowak PLOS Computational Biology · 2025 [PDF](https://hal.science/hal-05389427/document) [DOI](https://doi.org/10.1371/journal.pcbi.1013024) [HAL](https://hal.science/hal-05389427) ### [Phage-mediated intercellular CRISPRi for biocomputation in bacterial consortia](https://doi.org/10.1093/nar/gkae1256) Abhinav Pujar, Amit Pathania, Corbin Hopper, Amir Pandi, Cristian Ruiz Calderón, Matthias Függer, Thomas Nowak, Manish Kushwaha Nucleic Acids Research · 2025 [PDF](https://hal.science/hal-04857279/document) [DOI](https://doi.org/10.1093/nar/gkae1256) [bioRxiv](https://www.biorxiv.org/content/10.1101/2024.09.02.610857v2.abstract) [HAL](https://hal.science/hal-04857279) ### [An Allee-based distributed algorithm for microbial whole-cell sensors](https://doi.org/10.1038/s41540-024-00363-3) Fabricio Cravo, Matthias Függer, Thomas Nowak npj Systems Biology and Applications · 2024 [PDF](https://www.nature.com/articles/s41540-024-00363-3.pdf) [DOI](https://doi.org/10.1038/s41540-024-00363-3) [bioRxiv](https://www.biorxiv.org/content/early/2023/08/26/2023.08.25.554781) [HAL](https://hal.science/hal-04786979) ### [Majority consensus thresholds in competitive Lotka–Volterra populations](https://doi.org/10.1145/3662158.3662823) Matthias Függer, Thomas Nowak, Joel Rybicki Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing (PODC) · 2024 [PDF](https://hal.science/hal-04786996/document) [DOI](https://doi.org/10.1145/3662158.3662823) [arXiv](https://arxiv.org/abs/2405.03568) [HAL](https://hal.science/hal-04786996) ### [Tight Bounds for Asymptotic and Approximate Consensus](https://doi.org/10.1145/3485242) Matthias Függer, Thomas Nowak, Manfred Schwarz Journal of the ACM (JACM) · 2021 [PDF](https://hal.science/hal-03408731/document) [DOI](https://doi.org/10.1145/3485242) [HAL](https://hal.science/hal-03408731) ### [A Faithful Binary Circuit Model](https://doi.org/10.1109/TCAD.2019.2937748) Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2020 [PDF](https://inria.hal.science/hal-02395251/document) [DOI](https://doi.org/10.1109/TCAD.2019.2937748) [HAL](https://hal.science/hal-02395251) ### Habilitation thesis [Computing at the border of abstractions: the power of timed, non-binary, distributed circuits](https://mfuegger.github.io/habil/thesis.pdf) Université Paris-Saclay · 2022 [PDF](https://mfuegger.github.io/habil/thesis.pdf) [Details](https://mfuegger.github.io/habil/) ### PhD thesis [Analysis of On-Chip Fault-Tolerant Distributed Algorithms](https://repositum.tuwien.at/bitstream/20.500.12708/14747/2/Fuegger%20Matthias%20-%202010%20-%20Analysis%20of%20on-chip%20fault-tolerant%20distributed...pdf) TU Wien · 2010 [PDF](https://repositum.tuwien.at/bitstream/20.500.12708/14747/2/Fuegger%20Matthias%20-%202010%20-%20Analysis%20of%20on-chip%20fault-tolerant%20distributed...pdf) [Details](https://repositum.tuwien.at/handle/20.500.12708/14747) ## Software ### [MobsPy](https://github.com/ROBACON/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](https://github.com/ROBACON/mobspy) [Paper](https://doi.org/10.1371/journal.pcbi.1013024) ## Recent courses [All courses](https://mfuegger.github.io/teaching.html) - [Computational Bioengineering](https://mfuegger.github.io/teaching.html#course-2026-computational-bioengineering) — 2026 · ENS Paris-Saclay · With Thomas Nowak. - [Initiation à la recherche](https://mfuegger.github.io/teaching.html#course-2026-initiation-a-la-recherche) — 2026 · ENS Paris-Saclay. ## Videos [ Cellular Computing Team on YouTube ](https://www.youtube.com/@cellularcomputingteam) [ Computational Bioengineering · 2025 Full lecture series ▶ Watch playlist on YouTube ](https://www.youtube.com/playlist?list=PLLGPEjQmmA7DSruH84oHIanAXo44Bf4sI) [ Vibe-Formalizing our TCS Paper in Lean · 2026 Formalizing a theoretical computer science paper in Lean. ▶ Watch on YouTube ](https://www.youtube.com/watch?v=rE5_Zc2AMwM) ## Contact [mfuegger@lmf.cnrs.fr](mailto:mfuegger@lmf.cnrs.fr) For research inquiries and opportunities for internships, PhD studies, or postdoctoral research, please contact me. Laboratoire Méthodes Formelles ENS Paris-Saclay 4 avenue des Sciences 91190 Gif-sur-Yvette, France