Shwmae!

Photo

Ferd here. I am a teacher and researcher in computer science. I work as a lecturer at the Khoury College of Computer Sciences of Northeastern 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 2020)

Recent paper

F. Vesely & K. Fisher, One Step at a Time: A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. In L. Caires, ed., Programming languages and systems (Springer International Publishing, 2019), pp. 205–231. DOI: 10.1007/978-3-030-17184-1_8