A Tese de Doutorado no PESC de Aline Marins Paes, orientada por Gerson Zaverucha e co-orientada por Vítor Manuel de Morais Santos Costa, foi premiada no Concurso de Teses e Dissertações do BRACIS 2012 (Brazilian Conference on Intelligent System 2012), classificada em primeiro lugar no Concurso.
A tese de Aline intitulada "Revisão Efetiva de Programas Lógicos Bayesianos a Partir de Exemplos" pode ser consultada clicando aqui.
Parabéns à Aline, ao Gerson e ao Vitor.