Petros Kitazos
programming languages, formal methods
Summary
Petros is working on his PhD looking at the intersection of programming langauges and formal methods. He is supervised by Simon Fowler and myself.
programming languages, formal methods
Petros is working on his PhD looking at the intersection of programming langauges and formal methods. He is supervised by Simon Fowler and myself.