Reino Niskanen
Automated Verification,
Department of Computer Science,
University of Oxford

Jesus College,
University of Oxford

An incomplete list of places I've visited

+ Belgium

+ Czech Republic

+ Denmark

+ Finland

+ France

+ French Polynesia

+ Germany

+ Greece

+ Italy

+ Poland

+ Portugal

+ Romania

+ Russia

+ United Kingdom

Last Modified: September 2019