Theses

2018

2. PhD dissertation at KU Leuven PhD dissertation

Amin Timany. Contributions in Programming Languages Theory: Logical Relations and Type Theory. PhD dissertation at KU Leuven, May 2018.

Links: .pdf Lirias [slides] .pdf

2013

1. MSc thesis at TU Dresden MSc thesis

Amin Timany. Symmetry Reduction for Reo and Constraint Automata. MSc thesis at TU Dresden, May 2013.

Links: .pdf [slides] .pdf