Paulo successfully defended his PhD thesis this Monday, wrapping up his dual PhD degree between Lisbon and Carnegie Mellon. Through out 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.