Eduardo Menezes de Morais

Possui graduação em Bacharelado em Ciências da Computação pela Universidade de São Paulo (2009), mestrado em Ciências da Computação pela Universidade de São Paulo (2012) e doutorado em Ciências da Computação pela Universidade de São Paulo (2018). Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: lógica probabilística, programação lógica, satisfazibilidade probabilística e answer set programming.

graduation at Bacharelado em Ciências da Computação from Universidade de São Paulo (2009), master's at Computer Science from Universidade de São Paulo (2012) and doctorate at Computer Science from Universidade de São Paulo (2018). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: lógica probabilística, programação lógica, satisfazibilidade probabilística and answer set programming.