Projects

AutoCS
The Automatic Computer Scientist
Andrew Cropper, Céline Hocquette, Filipe Gouveia
RIGA
Reasoning Over Indirect Discrimination
Inês Lynce, Filipe Gouveia, Vasco Manquinho
Code
GOLEM
Automated Programming To Revolutionize App Development
ModRev
Model Revision tool for Boolean logical models of biological regulatory networks
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Code