O Concurso Nacional de Trabalhos de Iniciação Científica – CTIC -, premiará dois alunos da Universidade Federal de Sergipe. O evento, promovido pela Sociedade Brasileira de Computação, classificou em terceiro lugar, dentro de um conjunto de mais de 90 trabalhos, os alunos Manoel Messias Menezes e André Luís Silva Meneses, do curso de Bacharelado em Ciência da Computação. O primeiro e segundo lugar foram para a Universidade Federal de Minas Gerais e a Universidade Federal de Santa Catarina, respectivamente. A entrega dos prêmios será realizada na abertura do Congresso da Sociedade Brasileira de Computação, que acontece no final do mês de julho, na capital baiana. Os alunos da UFS trabalharam na área denominada Métodos Formais, tendo como foco um tipo de aplicação para sistemas críticos, que precisam de segurança, a exemplo dos celulares. Uma questão fundamental no desenvolvimento de um software é garantir que este é realmente uma solução para o problema proposto. Para realizar tal tarefa, deve-se primeiro construir um modelo da solução – especificação – utilizando uma linguagem formal. Esta é a proposta dos alunos. O trabalho foi orientado e baseado na tese de doutorado da professora Leila Maciel. “A premiação é muito importante para mim, principalmente porque pretendo fazer mestrado na área, e um prêmio desse nível é um ponto muito forte para a minha avaliação”, diz André Luís. Já Manoel Messias avalia a importância do prêmio como reconhecimento para a universidade. “Essa premiação atesta a qualidade do nosso Centro e dos trabalhos que vêm sendo desenvolvidos por ele. A UFS conta com excelentes trabalhos que precisam de mais divulgação”, afirma. Mais informações pelo e-mail andre@ufs.br ou manoel@ufs.br. Mais notícias da área no canal INFORMÁTICA SERGIPE.