Luis Carlos de Sousa Menezes

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Ceará (1995), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1998) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2002). Atualmente é professor adjunto da Universidade de Pernambuco. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, Programação Lógica e Computação Inteligente.

graduate at Bacharelado em Ciência da Computação from Universidade Federal do Ceará (1995), master's at Computer Science from Universidade Federal de Pernambuco (1998) and ph.d. at Computer Science from Universidade Federal de Pernambuco (2002). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: semântica de ações, semântica formal, agentes inteligentes, programação orientada a agentes and linguagens de programação.