Ferdinand Vesely

(he/him/his)

Assistant Teaching Professor

  • Semantics of programming languages
  • Functional programming
  • Program transformation
  • Interactive theorem provers
  • Compiler design & implementation and code generation
  • Operational equivalence of programs, bisimulation & congruence formats
  • PhD in Computer Science, Swansea University — UK
  • BS in Computer Science, Swansea University — UK

Ferdinand Vesely is an associate teaching professor at the Khoury College of Computer Sciences at Northeastern University. His area of teaching focuses on programming and software development operating systems. Additionally, Vesely is a part of the Khoury Undergraduate Committee.

Vesely earned his doctorate and master’s in computer science from Swansea University — UK. Prior to joining Northeastern in 2019, he was a postdoctoral researcher at Tufts University and worked as a web developer in Italy. Vesely has been published in the European Symposium on Programming, 2019. Outside of teaching, he is passionate about music and scuba diving, which is his childhood dream.

  • Weak Bisimulation as a Congruence in MSOS

    Citation: 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

  • FunKons: Component-Based Semantics in K

    Citation: 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