Filipe Gouveia

Assistant Professor

My research interests include computational logic, automated reasoning, program synthesis, logic programming, and programming languages.