Alexandre Rademaker

Title

Senior Research Scientist
Alexandre Rademaker

Bio

Bachelor's at Computer Science from UFRJ (2001), master's at Computer Science from UFF (2005) and doctorate at Computer Science from PUC-Rio (2010). I have experience in Computer Science on the following subjects: description logic, proof theory, ontology, functional programming and category theory.

Publications

Patents

Top collaborators