Microsoft Corporation

Microsoft Office

Bing

Bing Commerce Search

Yale University

Graduate School of Arts and Sciences - Yale

Department of Computer Science - Yale

European Master in Computational Logic (EMCL)

Universitad Politecnica de Madrid (UPM)

EMCL - UPM

Libera Universita di Bolzano (FUB)

EMCL - FUB

Universidade Federal do Espirito Santo (UFES)

Department of Informatics - UFES

Prof. Berilhes Borges Garcia (Research Advisor - UFES)

Prof. Dana Angluin (Research Advisor - YALE)