ºù«Ӱҵ Robotics Seminar- Yuri Kaszubowski Lopes: Formal Methods in Robotics and Automation
Event details
This event has taken place.
Description
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 ºù«Ӱҵ (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.