Alexandre Rademaker
Holds a bachelor’s degree in Computer Science from UFRJ (2001), a master’s in Computer Science from UFF (2005) and PhD from PUC-Rio (2010). During his doctorate, he did research internships at Microsoft Research (2008), and at SRI International (2009). His research areas include: logics, knowledge representation, computational linguistics, computer theory, and formal methods..