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)
- CS-115 Programming 2
- CS-175 Modelling Computing Systems 2
- CS-275 Formal Languages and Automata Theory
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.