Alexandre Rademaker

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). Especialização no mestrado e doutorado foram em Teoria da Computação. Áreas de pesquisa abrangem: lógica, teoria da computação, métodos formais e representação do conhecimento.

Tem trabalhos e interesse em: teoria das categorias, lógica descritiva, teoria da prova, teoria dos modelos etc. Em 2008 fez estágio de pesquisa na Microsooft Research e em 2009 no SRI International.

Email: 

Áreas de interesse: 

Linguística Computacional
Lógica
Representação de Conhecimento