PhD Student in Formal Methods and Theoretical Computer Science
Short description of portfolio item number 1
Short description of portfolio item number 2