返回导师列表
DA

Dr Alvaro Miyazawa Lecturer

Lecturer

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

教育经历

  • 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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。