Ph.D. student in type theory at Stockholm University, Department of Mathematics
Short description of portfolio item number 1
Short description of portfolio item number 2
