Accessibility statement

Academic and Teaching Staff

Dr Alvaro Miyazawa
Academic Staff

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

Photo

Contact details

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

E-mail:
Personal Homepage: https://www-users.cs.york.ac.uk/ahm504/