About me

Photo

Currently, I am a PhD student here at the Department of Computer Science, Swansea University under the supervision of Prof. Peter D. Mosses. I collaborate with the PLanCompS project. My research interests include:

I am also interested in virtual machines, programming, operating systems and their history (esp. Unix), theorem proving in Isabelle/HOL, and "retrocomputing".

Publications and Abstracts

Demonstrating

Misc.

Links
A handful of links to pages that I find useful.

Contact

Email: csfvesely@swansea.ac.uk

Snail mail:
Department of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
United Kingdom

Room 403, Faraday Tower

free hit counter