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.

    https://ricardocajo.github.io/error-monitor-ros-gazebo/


    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.

    RoSE22_paper_11.pdf


  • Secret Hitler - AI Agents

    Agents simulate different players' behavior for the Secret Hitler game. Agents have their own memory and comprehension of what happens in the game and make decisions based on this perception. (Using JADE - JAVA Agent DEvelopment Framework)

    https://github.com/Tiagofvarela/Sistemas-Multi-Agente

Technologies



Programming Languages

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

Databases

  • SQL
  • OracleSQLDeveloper

Others

  • ROS
  • Gazebo
  • Docker
  • SAP Netweaver
  • SAP Portal
  • SAP ERP
  • SAP BI
  • Git
  • Unity
  • HTML
  • Microsoft Office
  • JADE

Personal



Books


Anime


Movies