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