Você está aqui: Página Inicial / Institucional / Docentes / Eliana Silva de Almeida

Eliana Silva de Almeida

Doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1998).

Professora Titular

Currículo Lattes

Á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: