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