Paulo dual graduated!

Paulo successfully defended his PhD thesis this Monday. Throughout his PhD, Paulo studied the challenges that arise when writing modular robotics software using ROS. To help detect several types of misconfigurations, Paulo developed ROSpec, a specification language with Liquid Types that does not run. Instead, developers write the specification of the modules they create, and system integrators write the specification of their whole robot (the glue code). The type checker tells them whether it should work (w.r.t. the specification) or not. Paulo also did a bunch of other stuff during his PhD, including an internship at Uber, but I believe ROSpec to be the highlight of his PhD. Good luck in your career, and at the next step, Sonar.