Filipe Gouveia

Assistant Professor

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