Alvaro Miyazawa

Department of Computer Science, University of York


I am a research associate at the Departments of Electronic Engineering and Computer Science of the University of York working in the RoboTest project.

I have finished my PhD in 2012 at the University of York with a thesis entitled "Formal verification of implementations of Stateflow charts". From 2012 to 2014, I worked in the EC FP7 project Compass (Comprehensive Modelling for Advanced Systems of Systems) on modelling and analysis of Systems of Systems. From 2014 to 2015, I worked in the EPSRC funded project hiJaC (high-integrity Java applications using Circus). From 2015 to 2020, I worked in the EPSRC funded project RoboCalc.

My research interests include formal semantics of graphical notations, refinement, verification, formal specification, state-rich process algebras, Circus, formal methods and software engieering for Robotics, and Safety Critical Java.