Judson Santos Santiago

Graduate at Computer Engineering from Universidade Federal do Rio Grande do Norte, master's at Computer Science from Universidade Federal de Minas Gerais and phd at Computer Science from Université Nancy 2 (France). Has experience in Computer Science, acting on the following subjects: formal methods, hardware description, program slicing and verificatin of cryptographic protocols. Currently works on game engine programming and architecture and teachs Computer Programming, Computer Graphics and Game Programming at Universidade Federal Rural do Semi-Árido.

Possui graduação em Engenharia de Computação pela Universidade Federal do Rio Grande do Norte, mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais e doutorado em Ciência da Computação pela Université Nancy 2, França. Tem experiência na área de Ciência da Computação, tendo atuado principalmente nos seguintes temas: descrição de hardware, métodos formais, particionamento de programas e verificação de protocolos criptográficos. Atualmente trabalha com programação e arquitetura de motores para jogos e ministra as disciplinas de Programação de Computadores, Computação Gráfica e Programação de Jogos na Universidade Federal Rural do Semi-Árido.