Português 
English Alexandre Rademaker
Ph.D. in Computer Science, PUC-Rio, 2010
Logic and Semantics of Languages and Computation Theory
E-mail:
alexandre.rademaker@fgv.br Bachelor's at Computer Science from Universidade Federal do Rio de Janeiro (2001), master's at Computer Science from Universidade Federal Fluminense (2005) and doctorate at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2010). Has experience in Computer Science, focusing on Computability and Computational Models, acting on the following subjects: description logic, proof theory, ontology and category theory.