Research Interests
- distributed algorithms
- synthetic biology
- discrete-event systems
- wireless ad-hoc networks of mobile agents
Projects
- HicDiesMeus: Highly Constrained Discrete Agents for Modeling Natural Systems (DigiCosme)
- COMBACT: Digital Communication Models for Bacteria (DIM RFSI)
- ABIDE: Algorithms in Birth-Death Systems (CNRS)
- ETSHI: Efficient Test Strategies for SARS-CoV-2 in Healthcare Institutions (Université Paris-Saclay/CARE)
Past projects:
- DIGIT: Distributed Pulse Generation in Bacterial Colonies (DigiCosme)
- DEMO: Delay Models for Microbiological Circuits (CNRS)
- DICIMUS: Distributed Communication Models for Microbiological Circuits (Institut Farman)
- DEPEC MODE: Deriving Phage Communication Models (Université Paris-Saclay)
Students and Post-Docs
- Sirajo Bakura, PhD student, started in 2018 (co-supervised with Alain Lambert)
- Fabricio Cravo, graduate research intern
- Corbin Hopper, graduate research intern (co-supervised with Matthias Függer)
- Victoria Andaur, undergraduate research intern
- Bilal Manssouri, undergraduate research intern (co-supervised with Janna Burman)
Alumni:
- DaJung Cho, post-doc (co-supervised with Matthias Függer)
- Cheng-Yu Han, PhD student, started in 2015, defended in 2018 (co-supervised with Alain Lambert)
- Quentin Soubeyran, graduate research intern, École Polytechnique Research Internship Prize 2019
Events
Workshops:
- Upcoming: CELLS 2020 (Computing among Cells) at DISC 2020, October 12, 2020, in Freiburg
- CELLS 2019 (Computing among Cells) at DISC 2019 on October 14, 2019, in Budapest
- WENDY (Emergent Algorithms and Network Dynamics) on October 10-11, 2018, at Institut Henri Poincaré in Paris
Conferences:
- SSS 2018 (PC member), PODC 2019 (Publication Chair), PODC 2020 (PC member), DISC 2020 (PC member)
Teaching
Publications
- New Bounds on the Periodicity Transient of the Powers of a Tropical Matrix: Using Cyclicity and Factor Rank with A. Kennedy-Cochran-Patrick, G. Merlet, and S. Sergeev, 2020.
To appear in Linear Algebra and its Applications
arXiv
- Digital Circuit Design for Biological and Silicon Computers with M. Függer and M. Kushwaha, 2020.
Advances in Synthetic Biology
HAL
- Distributed Computation with Continual Population Growth with D.-J. Cho, M. Függer, C. Hopper, M. Kushwaha, and Q. Soubeyran, 2020.
Extended abstract presented at DISC 2020 (video) (invited to special issue of Distributed Computing)
arXiv
- Clock Synchronization with Exponential Smoothing for Dynamic Networks with S. Bakura and A. Lambert, 2020.
Extended abstract presented at CISS 2020
- Byzantine Approximate Agreement on Graphs with J. Rybicki, 2019.
Extended abstract presented at DISC 2019
arXiv
- Efficient Self-Stabilizing Leader Election in Population Protocols with J. Burman, D. Doty, E. Severson, and C. Xu, 2019.
arXiv
- Topological Characterization of Consensus under General Message Adversaries with U. Schmid and K. Winkler, 2019.
Extended abstract presented at PODC 2019
arXiv
- Transistor-Level Analysis of Dynamic Delay Models with M. Függer, J. Maier, and U. Schmid, 2019.
Extended abstract presented at ASYNC 2019
- On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks with M. Függer and K. Winkler, 2019.
Discrete Applied Mathematics 282:257-264
arXiv
- Fast Multidimensional Asymptotic and Approximate Consensus with M. Függer, 2018.
Extended abstract presented at DISC 2018 (invited to special issue of Distributed Computing)
arXiv
- Pulse Synchronization for Vehicular Networks with C.-Y. Han and A. Lambert, 2018.
Extended abstract presented at IV 2018
- A Faithful Binary Circuit Models with Adversarial Noise with M. Függer, J. Maier, R. Najvirt, and U. Schmid, 2018.
Extended abstract presented at DATE 2018 (best paper award finalist)
arXiv
- Data Collection in Population Protocols with Non-uniformly Random Scheduler with J. Beauquier, J. Burman, S. Kutten, and C. Xu, 2017.
Theoretical Computer Science 806:516-530
Extended abstract presented at Algosensors 2017 (invited to special issue of Theoretical Computer Science)
- On the Tightness of Bounds for Transients and Weak CSR Expansions in Max-Plus Algebra with G. Merlet and S. Sergeev, 2017.
To appear in Linear and Multilinear Algebra
arXiv
- Lower Bounds for Asymptotic Consensus in Dynamic Networks with M. Függer and M. Schwarz, 2017.
Extended abstract presented at PODC 2018
Brief announcement presented at DISC 2017
arXiv
- Multidimensional Asymptotic Consensus in Dynamic Networks with B. Charron-Bost and M. Függer, 2016.
arXiv
- Amortized Averaging Algorithms for Approximate Consensus with B. Charron-Bost and M. Függer, 2015.
Extended abstract presented at ICALP 2016
arXiv
- Fast Symbolic Computation of the Worst-Case Delay in Tandem Networks and Applications with A. Bouillard, 2015.
Performance Evaluation 91:270-285
- Asymptotic Consensus Without Self-Confidence, 2015.
Extended abstract presented at CDC 2015
arXiv
- Experimental Validation of a Faithful Binary Circuit Model with M. Függer, R. Najvirt, U. Schmid, M. Hofbauer, and K. Schweiger, 2015.
Extended abstract presented at GLSVLSI 2015
- Diffusive Clock Synchronization in Highly Dynamic Networks with B. Charron-Bost and M. Függer, 2015.
Extended abstract presented at CISS 2015
- Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms with B. Charron-Bost and M. Függer, 2014.
Extended abstract presented at ICALP 2015
arXiv
- Faithful Glitch Propagation in Binary Circuit Models with M. Függer, R. Najvirt, and U. Schmid, 2014.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39(10):2784-2797
Extended abstract presented at DATE 2015
arXiv
- Weak CSR Expansions and Transience Bounds in Max-Plus Algebra with G. Merlet and S. Sergeev, 2013.
Linear Algebra and its Applications 461:163-199
arXiv
- Generalizations of Bounds on the Index of Convergence to Weighted Digraphs with G. Merlet, H. Schneider, and S. Sergeev, 2013.
Discrete Applied Mathematics 178:121-134
Extended abstract presented at CDC 2014
arXiv
- Unfaithful Glitch Propagation in Existing Binary Circuit Models with M. Függer and U. Schmid, 2013.
IEEE Transactions on Computers 65(3):964-978
Extended abstract presented at ASYNC 2013
arXiv
- Transience Bounds for Distributed Algorithms with B. Charron-Bost and M. Függer, 2013.
Extended abstract presented at FORMATS 2013
- An Overview of Transience Bounds in Max-Plus Algebra with B. Charron-Bost, 2013.
Contemporary Mathematics 616, pp. 277-289
arXiv
- The Effect of Forgetting on the Performance of a Synchronizer with M. Függer, A. Kößler, U. Schmid, and M. Zeiner, 2013.
Performance Evaluation 93:1-16
Extended abstract presented at Algosensors 2013
Brief announcement presented at SSS 2012
- General Transience Bounds in Tropical Linear Algebra via Nachtigall Decomposition with B. Charron-Bost, 2012.
Extended abstract presented at TROPICAL-12
- New Transience Bounds for Max-Plus Linear Systems with B. Charron-Bost and M. Függer, 2012.
Discrete Applied Mathematics 219:83-99
Abstract and poster presented at Eurocomb 2013
arXiv
- On the Performance of a Retransmission-Based Synchronizer with M. Függer and A. Kößler, 2011.
Theoretical Computer Science 509:25-39
Extended abstract presented at SIROCCO 2011 (invited to special issue of Theoretical Computer Science)
Theses
- Transient Behavior of Distributed Algorithms and Digital Circuit Models, PhD thesis, École polytechnique, 2014.
PDF
- Topology in Distributed Computing, Master's thesis, Vienna University of Technology, 2010.
PDF
- Implementation and Evaluation of a Support Vector Machine on an 8-bit Microcontroller, Bachelor's thesis, Vienna University of Technology, 2008.
PDF
Thomas Nowak
Laboratoire de Recherche en Informatique
Université Paris-Saclay
Bât 650 Ada Lovelace
91405 Orsay Cedex
France
P: +33 1 69 15 66 09
E: thomas.nowak [at] lri (dot) fr
PGP Public Key
Last updated on 1/19/2021