DREAMY - Distributed Algorithms for Microbiological Systems
ANR-funded research project
Objective
A key advantage of biological computing devices is their ability to sense, compute, and especially to respond to their biological environment, e.g., bacteria can be programmed to act as autonomous robots within the human body. Local presence of certain molecules in the environment allows sensing of neighboring cell types and acting accordingly, e.g., by activating an immune response. Current designs of synthetic circuits in bacteria, however, face severe resource limitations: each genetic part added to the cell imposes an additional burden, becoming progressively toxic for the cell.
The most common design techniques for biological logic gates rely on gene regulation via DNA-binding proteins, nucleic acid (DNA/RNA) interactions, or more recently the CRISPR machinery. Each comes with its own constraints: like limited availability of orthogonal signals for use within the cell (DNA-binding), small dynamic range (RNA-based), or reduced growth rates (the CRISPR machinery). This has led to recent efforts to distribute circuits among several cells to reduce the resource load per cell, taking the formative steps towards distributed bacterial circuits.
The DREAMY research project seeks to develop innovative solutions to the problem of building distributed circuits in bacteria from an algorithmic, theoretical perspective that contributes to real-world implementable solutions.
News
Joining the project team:
We are hiring interns, postdocs, and PhD students in the DREAMY project. For more information on currently open positions, please contact the coordinators: Matthias Függer, Thomas Nowak, and Manish Kushwaha.
Activities
We organize the following related workshops and seminar series:
- CELLS - Workshop on Computing among Cells: co-located with the International Symposium on DIStributed Computing (DISC)
- HicDiesMeus - Working Group on Highly Constrained Discrete Agents for Modeling Natural Systems: seminar series on problems from physical, biological, and sociological domains within a distributed computing context
Project members

Matthias Függer
Principal Investigator
chip design, distributed algorithms

Thomas Nowak
Principal Investigator
distributed algorithms, stochastic processes

Manish Kushwaha
Local Coordinator @ Micalis
genetic circuits, phage communication

Rémi Baron
Intern
simulation

Joffroy Beauquier
Project Member
population protocols

Benedikt Bollig
Project Member
AI, model discovery

Catherine Bonnet
Project Member
control theory

Janna Burman
Project Member
population protocols

Arnaud Casteigts
Project Member
dynamic networks

Azammat Charaf Zadah
Intern
RL, distributed systems

Thomas Chatain
Project Member
timed concurrency, process mining

Fabricio Cravo
PhD Student
data analysis

Jean-Loup Faulon
Project Member
bio-retrosynthesis, biosensors

Luana Martins Ferraz
Intern
genetic circuits

Laurent Fribourg
Project Member
hybrid systems

Stefan Haar
Project Member
concurrency, partial orders, systems biology, ecology

Gabriel Le Bouder
Postdoc
stochastic cell processes, distributed computing

Mélanie Pietri
PhD Student
bioproduction, predictive models, optimization

Cristina Stoica
Project Member
control theory, cooperative control of multi-agent systems

Abhinav Vinayak Pujar
PhD Student
genetic circuits

Zhuofan Xu
PhD Student
AI, data science
Former members

Kevin E Awoufack
Intern (2023)
single-cell analysis, AI

Antonia Baies
Intern (2023)
model discovery, AI

Anisse Belhadj
Intern (2022)
bio simulation, C++ development

Thomas Chevet
Postdoc (2022/23)
dynamical systems, control theory

Raghda El Shehaby
PhD Student (2022/23)
asynchronous circuit design, robust circuits

Letícia Levin Diniz
Intern (2022)
bio simulation, full-stack web development

Artur Piana
Intern (2022)
microfluidics, embedded systems

Elias Pinter
Intern (2023)
single-cell analysis

Gayathri Prakash
Intern (2022/23)
genetic circuits

Josephine L Ramirez
Intern (2023)
genetic circuits

Thomas Sadigh Rezvani
Intern (2023)
single-cell analysis

Shaunticlair Ruiz
Intern (2023)
stochastic models, cell models

Margarita Shimanskaya
Intern (2023)
stochastic simulation

Berndt Uhlig
Intern (2023)
AI, neural networks

Jessica Vipin
Intern (2023)
AI, verification
Publications
- Fabricio Cravo, Matthias Függer, Thomas Nowak: An Allee-based Distributed Algorithm for Microbial Whole-Cell Sensors bioRxiv, 2023.
- Hagit Attiya, Armando Castañeda, Thomas Nowak: Topological Characterization of Task Solvability in General Models of Computation. arXiv, 2023. To appear at DISC 2023.
- Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid: Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. To appear at HSCC 2023, 2023.
- Matthias Függer, Christoph Lenzen, Ulrich Schmid: On Specifications and Proofs of Timed Circuits. arXiv, 2022.
- Amit Pathania, Corbin Hopper, Amir Pandi, Matthias Függer, Thomas Nowak, Manish Kushwaha: A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission. bioRxiv, 2022.
- Fabricio Cravo, Matthias Függer, Thomas Nowak, and Gayathri Prakash. Mobspy: A meta-species language for chemical reaction networks. Computational Methods in Systems Biology, 2022.
- Victoria Andaur, Janna Burman, Matthias Függer, Manish Kushwaha, Bilal Manssouri, Thomas Nowak, Joel Rybicki: Reaching Agreement in Competitive Microbial Systems. arXiv, 2021.
- Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, and Quentin Soubeyran. Distributed computation with continual population growth. Distributed Computing, 2021.
Funding
We are grateful for the funding provided by ANR (grant ANR-21-CE48-0003), CNRS, Digicosme, INRAe, Institut Farman, RFSI, and Université Paris-Saclay.




