GHC 6213, CMU
I am a 1st year Computer Science PhD Student at Carnegie Mellon University and Instituto Superior Técnico, advised by Professor Inês Lynce and Professor Ruben Martins. I am part of CMU Portugal's Dual Degree PhD Program. I am an early-stage researcher at the Automated Reasoning and Software Reliability group at INESC-ID.
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins