João Paulo Carvalho Colu de Queiroz

Possui graduação em Computação pela Universidade de Brasília (2009) e mestrado em Informática pela Universidade de Brasília (2012). Atualmente é analista judiciário - análise de sistemas - Tribunal Superior do Trabalho. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas

bachelor's at Computação from Universidade de Brasília (2009) and master's at Computer Science from Universidade de Brasília (2012). Has experience in Computer Science, focusing on Logics and Program Semantics