Filipe Gouveia

Invited Assistant Professor

My research interests include artificial intelligence, computational logic and automated reasoning.