Alexandre Rademaker

• Cargo: Professor Adjunto (coordenador de projetos Internos)
• Email: contact me
• Homepage: http://arademaker.github.com
• Lattes: http://lattes.cnpq.br/0675365413696898

Bacharel em Ciência da Computação pela UFRJ (2001). Mestre em Ciência da Computação pela UFF (2005) e Doutor pela PUC-Rio (2010). Minha especialização no mestrado e doutorado foram em Teoria da Computação. Minhas áreas de pesquisa abrangem: lógica, teoria da computação, métodos formais e representação do conhecimento. Tenho trabalhos e interesse em: teoria das categorias, lógica descritiva, teoria da prova, teoria dos modelos etc. Em 2008 fiz estágio de pesquisa na Microsooft Research e em 2009 no SRI International.

Áreas de Interesse

• Lógicas: teoria da prova, teoria dos modelos etc.
• Web Semântica: lógica descritiva, ontologias etc.
• Linguagens de Programação.
• Teoria das Categorias.