Academic and Teaching Staff

Frank Zeyda Dipl.-Inform. (TU Braunschweig, Germany) BSc PhD (Teesside)
Associate Staff, Teaching Staff


Formal methods for specification and verification of safety-critical systems, theorem proving, program semantics, control laws, reversible computing, process algebras and state-based methods.


5 years part-time lecturing experience during PhD completion at the University of Teesside (UK), demonstrating, project supervision, responsibility for module delivery as well as content. Papers reviewed for international conferences. Currently employed on 3 year research contract (EPSRC funded) in the HISE group at the University of York, UK.


Contact details

Department of Computer Science
University of York
Deramore Lane
YO10 5GH

Phone: +44 (0)1904 325500

Office: CSE/011-4