Research Topics: Quantum and Cyber-Physical
My main focus is on (quantitative) syntax and semantics of
programming languages, typically in the setting of cyber-physical and
quantum computing
News
| I'll give an invited talk @ FACS'22 |
| New manuscript about quantitative lambda-theories
available |
Selected Publications
| An Internal Language for Categories Enriched over Generalised
Metric Spaces (with F. Dahlqvist). CSL'22 |
link |
| Implementing Hybrid Semantics (with S. Goncharov and J. Proença). ICTAC'20 |
link
|
| An Adequate While-Language for Hybrid Computation (with S. Goncharov). PPDP'19 |
link |
| A Semantics for Hybrid Iteration (with S. Goncharov and J. Jakob). CONCUR'18 |
link |
| Limits in Categories of Vietoris Coalgebras (with
D. Hofmann and P. Nora). MSCS'18 |
link |
| Languages and Models for Hybrid Automata: A coalgebraic
perspective (with L. Barbosa). TCS'17 |
link |
Google Scholar,
DBLP
Some Recent Funded Projects
| Ibex |
Quantitative methods for cyber-physical programming (PI) |
2022-2024 |
| CTRL-F |
Computational effects and high-level control (co-PI) |
2022-2025 |
| VetssQ |
Quantitative equational theories and quantitative program semantics (co-I) |
2020-2021 |
| Klee |
Coalgebraic Modeling and Analysis for Computational Synthetic Biology (co-I) |
2018-2021 |
Some Recent Teaching
