Pedro T. Monteiro
Assistant Professor at the Departament of Computer Science and Engineering of Instituto Superior Técnico - Universidade de Lisboa (IST-UL). Researcher at INESC-ID Lisboa in the SAT group.
Record last modified Oct 10, 2018 2:21:00 PM
Open Source Project