Sergio da Silva Aguiar

Possui graduação em Ciências Habilitação Em Matemática pela Universidade Estadual do Sudoeste da Bahia (1991), mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (2001) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2008). Atualmente é professor titular da Universidade Estadual do Sudoeste da Bahia. Tem experiência na área de Ciência da Computação, com ênfase em Lógica e Semântica de Programas, atuando principalmente nos seguintes temas: lógica, intervalos, domínios, igualdade e lógica, categorias, intervalos, domínios. Ministra também disciplinas da área de Matemática Aplicada, Cálculo Diferencial e Integral e Análise Real.

graduate at Ciências Habilitação Em Matemática from Universidade Estadual do Sudoeste da Bahia (1991), master's at Computer Science from Universidade Federal de Pernambuco (2001) and ph.d. at Computer Science from Universidade Federal de Pernambuco (2008). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: lógica, intervalos, domínios, igualdade and lógica, categorias, intervalos, domínios,.