J
About
Regular biography
Joseph Razavi is a Lecturer in Computer Science at The University of Manchester. His work focuses on teaching and research within the field of computer science, with an emphasis on formal methods and their applications. He has contributed to various research outputs, including conference contributions and articles, exploring topics such as formal modeling, obstacle detection systems, and the integration of formal methods in smart systems. His research interests include the use of formal methods in practical systems and the development of rigorous verification techniques.