PhD Student in Programming Languages and Systems Verification
Short description of portfolio item number 1
Short description of portfolio item number 2