Alvaro Miyazawa
Lecturer
University of York
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Alvaro Miyazawa is a Lecturer at the University of York in the United Kingdom. His research focuses on formal design, verification, and implementation of robotic controller software, as well as probabilistic modelling and verification. His recent articles highlight advancements in these areas utilizing tools such as RoboChart and PRISM.
Articles (2)
Year:
2024
Year:
2022
Collaborators (3)
Pedro Ribeiro
Lecturer
University of York
UNITED KINGDOM
James Woodcock
Professor of Software Engineering
University of York
UNITED KINGDOM
Simon Foster
Lecturer
University of York
UNITED KINGDOM
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.