Accessibility statement

Dr Alvaro Miyazawa
Lecturer

Interests

  • Robotics (modelling and simulation)
  • Formal Semantics
  • Domain Specific Languages (DSL)
  • Diagrammatic Notations (RoboChart, UML, SysML, Simulink)
  • State-based Notations (Z, B, VDM)
  • Process Algebras (CSP, CCS, pi-calculus)
  • Hybrid Languages (HCSP, CyPhyCircus)
  • Formal Verification and Refinement
  • Tool development for formal methods and DSLs

Qualifications

  • PhD Computer Science, University of York (2012)
  • MSc Computer Science, University of São Paulo, Brazil (2008)

Career

  • Lecturer, November 2021 - to date
  • Research Associate, RoboTest project, 2020-2021
  • Research Associate, RoboCalc project, 2015-2020
  • Research Associate, hiJaC project, 2014-2015
  • Research Associate, COMPASS project, 2012-2014

Departmental and University Roles

  • Deputy Chair of Board of Examiners (Paper Checking for On-Campus

Photo

Contact details

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

Phone: +44 (0)1904 325500

Office: CSE/037

E-mail: