Ferd here. I am a teacher and researcher in computer science. I work as a tutor in the Department of Computer Science at Swansea University. My interests (research and otherwise) mainly involve programming languages, interactive theorem proving, compilers, and operating systems.

I enjoy programming. My current primary language is Haskell.

Currently teaching (Spring 2019)

Recent paper

F. Vesely & K. Fisher, One Step at a Time: A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. In, 28th European Symposium on Programming, 8-10 April 2019, Prague, Czech Republic (2019). To appear.