Este grupo de pesquisa desenvolve tem interesse no estudo das linguagens de programação e da engenharia de software, envolvendo o desenvolvimento de novas linguagens, implementação e otimização de compiladores voltados para aplicações específicas, estudos comparativos entre linguagens, utilização de linguagens formais na análise e verificação de sistemas e o estudo e proposição de métodos e técnicas que promovam o desenvolvimento de software confiáveis e com baixo custo.
