about me

I finished my doctorate in Computer Science at PUC-Rio (2010). I am a senior research scientist at IBM Research (Brazil Lab) and adjunct professor at the Applied Mathematics Department from Getulio Vargas Foundation (Rio de Janeiro, Brazil).

I wrote over 100 papers published in peer-reviewed journals and international conferences in: logic, proof theory, knowledge representation and reasoning, language resources, computational linguistics, and type theory. I participate as a member of many program committees of regular conferences like ACL, COLING, LREC, and others. I am also a board member of the Global WordNet Association and coordinated the CE-PLN between 2017-219. I collaborate on maintaining many language resources and developing applications using these resources for ‘deep’ linguistic processing of human languages.

During my Ph.D., I made two international fellowships at Microsoft Research and SRI International. At MSR, in 2008, he worked with the Z3 SMT Solver team (Leonardo de Moura and Nikolaj Bjørner) developing a distributed environment for testing and optimizations of Z3. At SRI International, in 2009, he worked under the supervision of Natarajan Shankar. In my thesis, I proposed new deduction systems for description logics under the supervision of Edward Hermann Haeusler, published by Springer with the title A proof theory for Description Logics in the Springer Briefs series.

You can find more information at:

• https://research.ibm.com/people/alexandre-rademaker
• Publications at DBLP
• http://scholar.google.com/citations?user=SWz6BjIAAAAJ
• http://academic.research.microsoft.com/Author/2751793
• http://www.researchgate.net/profile/Alexandre_Rademaker/
• http://fgv.academia.edu/AlexandreRademaker
• Curriculum Lattes (Portuguese)
• http://twitter.com/arademaker