Sheffield Robotics Seminar- Yuri Kaszubowski Lopes: Formal Methods in Robotics and Automation

Yuri Kaszubowski Lopes,  Lecturer in Computer Science, Santa Catarina State University, Brazil

Date: Friday 29th November

Time: 12.00 - 13.00

Location: Pam Liversidge Building, Floor F, F13

Title: Formal Methods in Robotics and Automation

Abstract:  In this talk, we will explore applied computer science techniques for addressing challenges in robotics. We will examine the use of formal methods to model discrete-event systems, along with their control specifications, and discuss applications in swarm robotics and manufacturing automation.

Bio: Yuri Kaszubowski Lopes is a lecturer in the Department of Computer Science at Santa Catarina State University (UDESC). He received a Ph.D. degree in Automatic Control and Systems Engineering from the University of Sheffield (UoS) and was a Research Associate in the Department of Electronic and Electrical Engineering at UoS. He has also been a lecturer at the Federal University of Technology – Paraná. Over the past three years, he has secured three grants totalling over £285,000 and published in leading conferences and journals, including ICRA, IROS, Applied Soft Computing, and Nature Communications. His research interests include optimisation, machine learning, model predictive control, and formal methods applied to robotics, buildings, and health informatics.