Research

My main research interests are:

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, 28th European Symposium on Programming, 8-10 April 2019, Prague, Czech Republic (2019). To appear.

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.