Steffen Lewitzka

graduate at Ciência da Computação from Universitaet Leipzig (1992), graduate at Ciência da Computacao from Universidade Técnica de Berlim (1998), master's at Ciência da Computacao from Universidade Técnica de Berlim (1998) and ph.d. at Computer Science from Universidade Federal de Pernambuco (2003). Has experience in Computer Science, focusing on Theory of Computing, acting on the following subjects: lógica matemática, teoria da computação.

possui graduação e mestrado (Diplom) em Ciência da Computação pela Universidade Técnica de Berlim e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco. Atualmente atua como Professor Associado na Universidade Federal da Bahia. Tem experiência nas áreas de Lógica, Matemática e Teoria da Computação.