Alvaro Miyazawa

Department of Computer Science, University of York


I am a research associate at the Department of Computer Science of the University of York working in the RoboCalc 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 for 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 for the EPSRC funded project hiJaC (high-integrity Java applications using Circus).

My research interests include formal semantics of graphical notations, refinement, formal specification, state-rich process algebras, Circus and Safety Critical Java.

Subscribe to the RoboTool mailing list

* indicates required
Email Format