teaching & supervision
teaching activities, supervised theses, invited lectures, and summary of taught courses.
Teaching and mentoring are central to my academic work. I have supervised master’s and bachelor’s theses on topics ranging from anomaly detection in cloud-based systems to human-in-the-loop mission re-planning and digital twin monitoring, and I have taught and assisted in courses on software engineering, agile development, and requirements engineering at Chalmers University of Technology and the University of Brasília, accumulating over 1,300 hours of university-level instruction. I also give invited lectures and keynotes at summer schools on robotics software engineering.
Supervised Thesis
- "A Study on Isolation Forest for Anomaly Detection in Cloud-Based Systems". 2024, Master’s Thesis in Computer Science and Engineering. Fredrik Nätterdal and Karl Olausson.
- "Dynamic Mission Re-planning with Human Involvement in Autonomous Systems". 2024, Master’s Thesis in Computer Science and Engineering. Martin Andersson and Elinor Dåverstrand. Co-supervised with Rebekka Wohlrab (co-supervisor)
- "Human Performance and VR Interfaces: A Study of Digital Twin Monitoring in AI-Driven Fleets of Vehicles". 2023, Bachelor of Science Thesis in Software Engineering and Management. Numan Korkmaz and George-Vlad Liteanu. Co-supervised with Beatriz-Cabrero Daniel (main supervisor)
Keynotes & Invited Lectures
| May 2026 | Invited Lecture: Resilient Robotics for Space: Verifying, Testing, and Adapting Beyond Earth SPACERAISE Summer School on Robotics and Space, Gran Sasso Science Institute (GSSI), L'Aquila, Italy. |
|---|---|
| Mar 2026 | Keynote: Space Robotics Verification with FRETish Requirements Fourth Summer School on Robotic Mission Engineering (RoME 2026), Universidade de Brasília, Brazil. |
| Mar 2025 | Keynote: Beyond Efficiency – Strategies for Attaining Resilience in Robotics Software Third Summer School on Robotic Mission Engineering (RoME 2025), UECE, Brazil. |
| Jun 2023 | Invited Talk: The Way Research on Software Engineering for Robotics First Summer School on Robotic Mission Engineering (RoME 2023), Universidade de Brasília, Brazil. |
| Jan 2023 | Invited Talk: Roboticists Want to Build Resilient Robots… But They Can't! WASP Winter Conference, Norrköping, Sweden. |
| Sep 2022 | Invited Talk: Verification of ROS-based Systems — Guidelines for Developers and QA Teams Robotics Software Engineering Annual Meeting (RSE 2022). |
See also my conference presentations.
Courses
| Year | Course Name | Institution | Role | Students Level | Hours |
|---|---|---|---|---|---|
| 2024 | Software Evolution Project | Chalmers Univ. Tech. | Assistant | MSc | 50h |
| 2023 | Software Evolution Project | Chalmers Univ. Tech. | Assistant | MSc | 170h |
| 2023 | SE for Complex Systems | Chalmers Univ. Tech. | Assistant | Bc | 150h |
| 2022 | Software Evolution Project | Chalmers Univ. Tech. | Assistant | MSc | 150h |
| 2022 | SE for Complex Systems | Chalmers Univ. Tech. | Assistant | Bc | 150h |
| 2021 | Software Evolution Project | Chalmers Univ. Tech. | Assistant | MSc | 165h |
| 2021 | Agile Development Processes | Chalmers Univ. Tech. | Assistant | MSc | 165h |
| 2020 | Software Evolution Project | Chalmers Univ. Tech. | Assistant | MSc | 200h |
| 2020 | Requirements Engineering | Chalmers Univ. Tech. | Assistant | MSc | 130h |
| 2019 | Engenharia de Software | Univ. de Brasilia | Assistant | Bc | 30h |
Academic Opportunities
I welcome inquiries from prospective students and collaborators. Current opportunities include:
- Master’s thesis supervision — topics in robotics software testing, runtime verification, self-adaptation, and formal methods.
- Research visits — short-term research stays at GSSI for PhD students or postdocs working on related topics.
Contact me at ricardo.caldas@gssi.it to discuss.