Computing at the Border of Abstractions: the Power of Timed, Non-Binary, Distributed Circuits
by Matthias Függer
Thursday 6 January 2022 at 10:00
ENS Paris-Saclay, room 1Z18 and online
Abstract: The design and analysis of low-level computing devices directly implemented in hardware is commonly based on finite state machine models. In this work we review some of the assumptions made in these designs and discuss techniques for the cases where the assumptions fail to hold. The work concentrates on three such aspects:
- computing under conditions where low-level timing effects cannot be neglected,
- when non-binary signals play a central role, and
- computing within a changing infrastructure, i.e., dynamic networks.
While most of this work is devoted to implementations in silicon, microbiological circuits are discussed in the outlook.
Jury:
- Miloš KRSTIĆ (Rapporteur), University Potsdam, IHP, Germany
- Yoram MOSES (Rapporteur), Technion, Israel
- Alex YAKOVLEV (Rapporteur), Newcastle University, GB
- Stefan HAAR (Examinateur), INRIA, LMF, ENS Paris-Saclay, Université Paris-Saclay, France
- Maria POTOP-BUTUCARU (Examinatrice), Sorbonne Université, LIP6, France