Filipe Gouveia

Computer Science Researcher

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