I am a recent PhD graduate from Boston University, where I obtained my PhD in Systems Engineering in 2020 from the Division of Systems Engineering. There, I worked in the BU Robotics Laboratory. In 2014, I obtained a BS degree in Computer Science from the Polytechnic School, as well as a BS degree in Mathematics from the College of Science, both part of the Autonomous University of Madrid.

My research centers around the development of a framework to automatically synthesize and verify physical systems, specifically those modeled by partial differential equations, with constraints expressed in a formal, but user-friendly, language. To this end, I employ tools and techniques from formal methods, temporal logics, optimization, machine learning and control theory.

You can find my full resumé here: PDF/HTML.