Fernando dos Santos Barbosa
I am a PhD student at the Division of Robotics, Perception and Learning (RPL) at KTH Royal Institute of Technology, supervised by Jana Tumova.
I have been working with sampling-based motion planning algorithms (RRT*, RRG) for robots that should fulfill a mission specification described on temporal-logic formulas (LTL, MITL, STL). The main goal is to explore the connection between Path Planning, Formal Methods and Control Theory. On the latter, I am mostly interessed in the use of Control Barrier Functions (CBFs) for safety specifications.
I received both Master's and Bachelor's degrees in Automation and Control Engineering at the University of Sao Paulo (USP), Brazil.
My Master's Thesis: 4DOF Quadcopter: development, modeling and control. (link)
Master's Thesis Projects:
I am continuously looking for motivated masters students who are interested in (i) developing tools for Robotic Motion Planning and Control, and (ii) implementing such tools on real robots. Feel free to drop me an email!
Check out my current project proposals here: Project Proposals.