During my academic path, I grew to take interest in multiple fields of informatics like compilation techniques and robotics, even attending some conventions like ROSCon and RoSE. In my free time, I always enjoy focusing on small projects like developing a game and learning Japanese. Feel free to reach me if you wish to know more!


CV: Ricardo_Cordeiro_CV.pdf


2020 - 2023, Masters Degree, Computer science and engineering

Main Courses: (Average: 14)

  • Compilation Techniques: 16
  • Artificial Intelligence in Games: 17
  • Automatic Learning: 16
  • Game Design and Development: 17
  • Multi-Agent Systems: 16

Final Dissertation on "Formalization and Runtime Verification of Invariants for Robotic Systems" advised by Alcides Fonseca professor at University of Lisbon and by Chris Timperley professor at Carnegie Mellon University.

2016 - 2019, Licentiate Degree, Computer science and engineering

Main Courses: (Average: 14)

  • Information Technology in the User's Perspective: 17
  • Computer Network: 16
  • Introduction to Operational Research: 16
  • Introduction to Programming: 18
  • First Order Logic: 17
  • Introduction to Probabilities and Statistics: 17

Interesting work

  • Error Monitor DSL (ros + gazebo)

    A domain-specific language to specify properties of robotic systems in ROS. Specifications written by developers in this language can be compiled to a monitor ROS module, that will detect violations of those properties. We have used this language to express the temporal and positional properties of robots, and we have automated the monitoring of some behavioral violations of robots in relation to their state or events during a simulation.


    I presented this work at INForum2022! INForum_paper.pdf

  • An Experience Report on Challenges in Learning the Robot Operating System

    I have helped writing this paper where we describe the challenges and experience of learning ROS from the perspective of novice users. This work was presented by my colleague Paulo Canelas at RoSE2022.


  • ғʀᴇᴀᴋ ̶M̶i̶n̶i̶m̶a̶l̶i̶s̶m̶ ̶̶ ⌬

    A project started by a friend of mine where I developed the website freak-minimalism.com and am still active in all tech-related matters. Currently, I am working on developing a 2D game called freakFish.



  • Java
  • Python
  • PL/SQL
  • Scala
  • C#
  • ABAP


  • Databricks
  • SQL
  • Neo4j
  • OracleSQLDeveloper


  • ROS
  • Gazebo
  • Kafka
  • Docker
  • Jinja (Templating Engine)
  • Kubernetes
  • Elasticsearch
  • SAP NetWeaver Portal
  • Git
  • PLY (Python Lex-Yacc)
  • Unity
  • HTML
  • JADE (Java Agent DEvelopment Framework)