I am a Research Associate on the RoboCalc project in the Circus/HISE group at the Department of Computer Science, University of York, UK. I have previously worked on the hiJaC project that considered a subset of Java suitable for the development of Safety-Critical Systems.

My research interests are in the formal specification and verification of software. In particular I am interested in formalisms such as Z [1], Communicating Sequential Processes (CSP) [2] and Circus [3], and their underlying semantics as given in the relational setting of Hoare and He’s Unifying Theories of Programming (UTP) [4].

This is my departmental website where I publish my technical work amongst other bits of information. Please feel free to get in touch if you would like to know more about my work.


  • E-mail: pedro.ribeiro [at] york.ac.uk
  • Phone: +44 (0)1904 325441

Also on