Research Fellows and Research Associates

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

Interests

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

Career

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.

Photo

Contact details

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

Phone: +44 (0)1904 325500

Fax: +44 (0)1904 325599

Office: CSE/011-4

E-mail: