Conheça os Professores do Quadro Principal do DI.
Grande parte do reconhecimento acadêmico do Departamento de Informática (DI) da PUC-Rio é devido aos professores do seu quadro principal, que atuam com excelência à frente do ensino e pesquisa, coordenando e atuando em laboratórios temáticos e orientando as pesquisas de mestrado e doutorado dos alunos. Eles também são
responsáveis por coordenar os projetos de pesquisa do DI junto a órgãos de fomento e a empresas nacionais e internacionais, assim como pela criação e oferta de cursos de extensão e especialização lato sensu do DI.
Hoje, temos o prazer de apresentar o Professor Edward Hermann Haeusler, que é coordenador do Laboratório TecMF e tem como área de atuação a Ciência da Computação voltada a Computabilidade e Modelos de Computação. Neste setor, pesquisa a teoria da prova, proof theory, teoria das categorias, semântica formal e Lógica.
Mais informações podem ser encontradas na página profissional do professor: