David Henrique de Souza Lima

, acting on the following subjects: teoria da computação, software educativo, máquina de turing, grafo dependencias and interface grafica.

Doutorando em Ciências e Tecnologias da Informação na Universidade de Coimbra em Portugal e membro do Laboratório de Comunicação e Telemática (LCT). Mestre em Informática pela Universidade Federal de Alagoas, graduado em Bacharelado em Ciência da Computação pela Universidade Federal de Alagoas, participa atualmente do Laboratório de Computação Científica e Análise Numérica (LaCCAN) no Centro de Pesquisas em Matemática Computacional (CPMAT). É professor do Instituto Federal de Alagoas (IFAL) do Campus Rio Largo.