I am an assistant professor in the Logic and Semantics Group 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.
Contact information:
 | timany@cs.au.dk |
 | Aabogade 34, DK-8200 Aarhus N, Denmark |
| Room: Turing–213 |
News:
- Benjamin C. Pierce and I are organizing and chairing CoqPL'22.
- I am on the program committee of ICFP'21.
- I am giving a technical talk at PLMW'21.
- Assia Mahboubi and I are organizing and chairing CoqPL'21.
- I am on the program committee of CPP'21.