Welcome! I am in my second year of PhD in Computer Science at IRIF (Université Paris Cité). My work revolves around quantitative type systems, under the guidance of Delia Kesner and Pablo Barenbaum.
My research interests focus on the λ-calculus and logic, particularly rewriting$^1$ and type theory$^2$.
| (λx.x@irif.fr) milicich | |
| Office | 3026 |