Pedro Quaresma
assistant professor
Department of Informatics Engineering
University of Coimbra
Portugal
Biography
Pedro Quaresma is an assistant professor at the Department of Mathematics and a researcher in the Centre for Informatics and Systems (CISUC), he is a mathematician with a PhD degree in Computer Science given by the Minho University.
Research Interest
His area of expertise is the automated deduction in geometry where, in collaboration with Predrag Janicic and Julien Narboux, as an extensive publication record and with some already developed and implemented systems
