I am interested on investigating how formal methods can be used in robotics, in particular, how temporal logic can be used to specify and synthesize high-level controllers for robot systems, with formal performance guarantees. My research interests include:
I am part of the Intelligent Robotics Lab, currently working on STRANDS (Spatio-Temporal Representations and Activities for Cognitive Control in Long-Term Scenarios), a 4-year EU FP7 Integrating Project. My main goal in STRANDS is to develop control approaches that take advantage of the spatio-temporal data obtained from the long term deployment of robot systems.
My academic degrees were awarded by Instituto Superior Técnico, Lisbon, Portugal. My BSc and MSc degrees were obtained on the Department of Mathematics, and my PhD degree was obtained on the Department of Electrical and Computing Engineering. During my PhD, under the supervision of Prof. Pedro Lima, I was a member of the Intelligent Robot and Systems Group in the Institute for Systems and Robotics.
During my PhD, I was also a visitor in different research labs.
My cv (last updated on February 2016) can be found here.
My Google Scholar Profile is available here.