Welcome to Amin Timany who will join the Department of Computer Science in April 2020 as a Tenure-track Assistant Professor. 

Amin Timany has a master’s degree from Technical University of Dresden (Germany) in “Computational Logic” (2013) and a PhD in "Engineering Sciences — Computer Science” (2018) from KU Leuven (Belgium). Since October 2018 he has been a postdoctoral fellow of the Flemish research fund (FWO) in KU Leuven. 

His research interests are theory of programming languages and compilers, type theory, proof assistants and program verification.