SBC seleciona tese de doutorado de professora sergipana como a melhor do Brasil

A Sociedade Brasileira de Computação – SBC -, selecionou a tese de doutorado da professora Leila Maciel de Almeida e Silva como a melhor do Brasil no ano 2000. O julgamento e premiação do trabalho aconteceu no congresso da SBC ocorrido em Fortaleza entre os dias 30 de julho e 3 de agosto desse ano. É a primeira vez que o nordeste ganha o primeiro lugar nessa categoria. Segundo a Leila Maciel a premiação pode significar uma projeção da Universidade Federal de Sergipe no circuito nacional de pesquisas de qualidade, além de beneficiar os egressos da universidade quando da aplicação de programas de pós-graduação em Computação. Durante o doutorado na universidade de Oxford, centro renomado internacionalmente em Métodos Formais, Leila desenvolveu parte da tese “An Algebraic Approach to Hardware/Software Partitioning”. De acordo com a professora Leila, essa é a primeira abordagem na literatura a verificar formalmente o particionamento de sistemas embarcados, que têm uma gama de aplicações, dentre elas: sistemas de telecomunicações, defesa e controle ambiental, controle de tráfego, ou mesmo sistemas utilizados nos equipamentos domésticos como fax, impressores, celular, alarmes, etc. Mais informações sobre a professora Leila Maciel e sua tese no site da UFS.