Eliana Silva de Almeida
Doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1998).
Professora Titular
Áreas de atuação
Atua na área de Ciência da Computação, com interesse em métodos formais, voltando-se para especificação formal de software científico, lógica como linguagem de especificação, e em bioinformática.
Disciplinas
- Lógica Aplicada à Computação
- Teoria da Computação
- Linguagens Formais e Autômatos
Contato
E-mail: eliana.almeida@gmail.com
Telefone:
Página Pessoal:
