معرفی
Dr. Alvaro Miyazawa is a Lecturer in the Department of Computer Science at the University of York. He holds a PhD in Computer Science from the University of York (2012) and an MSc from the University of São Paulo, Brazil (2008). His research focuses on formal methods for robotics, including robotics modelling, verification, and tool development. He has held roles such as Deputy Chair of BOE (Paper Checking for On-Campus) and has contributed to projects like RoboTest, RoboCalc, and hiJaC. His work emphasizes diagrammatic notations (e.g., RoboChart), hybrid languages, and formal verification techniques for robotic systems. Miyazawa has developed tools like RoboTool and RoboSim, integrating formal methods with practical robotic applications. He has extensive experience in safety-critical systems, including work on Safety-Critical Java (SCJ-Circus) and probabilistic modelling with PRISM.
Research interests span robotics semantics, domain-specific languages, state-based notations (Z, B, VDM), and process algebras. His publications address model-based engineering, architectural design, and verification frameworks for robotics. Miyazawa’s career includes roles as a Research Associate across multiple projects, culminating in his current academic position.
