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 BOE(Paper Checking for On-Campus)