Back to advisors
DA

Dr Alvaro Miyazawa Lecturer

Lecturer

University of York · United Kingdom
Formal SemanticsFormal Verification and RefinementTool development for formal methods and DSLs

Education

  • PhD Computer Science, University of York (2012)
  • MSc Computer Science, University of São Paulo, Brazil (2008)
  • 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

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.