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 (e.g. GeoThms (http://hilbert.mat.uc.pt/GeoThms ) and TGTP (http://hilbert.mat.uc.pt/TGTP).