Photo by Søren KjeldgaardI am an associate professor in the Programming Languages, Logic, and Software Security (PLS) section of the Computer Science department of Aarhus University. Before joining Aarhus University I was a postdoctoral fellow of FWO and worked at the DistriNet research group of the Computer Science department of KU Leuven where I also obtained my PhD in May 2018.
My research focuses on the mathematical foundations of program verification. I work on program logics, type theory, and semantics of programming languages, with an emphasis on concurrent and distributed systems. Much of my work builds on the Iris framework and involves mechanized proofs in the Rocq proof assistant. See my research page and publications for more details.
I lead a research group working on these topics. If you are interested in joining, see the Join My Group page.
News
- Open PhD position! I am looking for a PhD student to work on formal verification of concurrent and distributed systems. See details and apply. Deadline: May 1, 2026.
- PLS Summer School: We are organizing the first PLS Summer School.
- New publication: Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, and Lars Birkedal. Reasoning about Weak Isolation Levels in Separation Logic. ICFP 2025.
- New publication: Sergei Stepanenko and Amin Timany. Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It. FSCD 2025.
- New publication: Sergei Stepanenko, Emma Nardino, Dan Frumin, Amin Timany, and Lars Birkedal. Context-Dependent Effects in Guarded Interaction Trees. ESOP 2025: European Symposium on Programming.
- New publication: Amin Timany, Robbert Krebbers, Derek Dreyer, and Lars Birkedal. A Logical Approach to Type Soundness. JACM.
For a full list of my publications, see my publications page.
