Alexandre Rademaker

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://arademaker.github.io/about.html