==== Mariana Milicich ====

Welcome!
I am in my second year of PhD in Computer Science at [[https://www.irif.fr/|IRIF]] (Université Paris Cité).
My work revolves around quantitative type systems,
under the guidance of
[[https://www.irif.fr/~kesner/|Delia Kesner]] and [[https://foones.github.io/|Pablo Barenbaum]].

My research interests focus on the λ-calculus and logic, particularly rewriting[[https://en.wikipedia.org/wiki/Rewriting|$^1$]] and type theory[[https://en.wikipedia.org/wiki/Type_theory|$^2$]]. 

== Where to find me ==

^ E-mail |(λ//x//.//x@irif.fr//) //milicich//  |
^ Office |3026                                 |


==== Publications and Preprints ====

  * M. Milicich. **Semántica denotacional para un cálculo-λ relacional**. Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. **(Master's thesis**, in spanish**)** {{ :users:milicich:milicich_tesis.pdf |[PDF]}}
  * [[https://foones.github.io/|Pablo Barenbaum]], F. Lochbaum, M. Milicich. **Semantics of a Relational λ-calculus**. [[https://ictac2020.github.io/|ICTAC 2020]]. [[https://arxiv.org/abs/2009.10929|[arXiv]]]