Research
My main research interests are:
- Semantics of programming languages (mostly of the structural operational flavour)
- Functional programming
- Program transformation
- Interactive theorem provers (currently a Coq user, previously Isabelle/HOL)
- Compiler design and implementation; code generation
- Operational equivalence of programs, bisimulation and congruence formats
Other interests include logic, proof theory, programming & software engineering, operating systems and their history (esp. Unix), and “retrocomputing”.
Publications and Abstracts
1. 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.
2. F. Vesely, Towards Small-step Compilation Schemas for SOS (extended abstract). In L. Aceto, I. Fabregas, A. Garcia-Perez, & A. Ingolfsdottir, eds., Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015 (School of Computer Science, Reykjavik University, 2016), pp. 121–123.
3. P. D. Mosses & F. Vesely, Weak Bisimulation as a Congruence in MSOS. In N. Martí-Oliet, P.C. Ölveczky, & C. Talcott, eds., Logic, Rewriting, and Concurrency (Springer International Publishing, 2015), pp. 519–538. DOI: 10.1007/978-3-319-23165-5_24.
4. P. D. Mosses & F. Vesely, FunKons: Component-Based Semantics in K. In S. Escobar, ed., Rewriting Logic and Its Applications (Springer International Publishing, 2014), pp. 213–229. DOI: 10.1007/978-3-319-12904-4_12.