User:Arademaker

From ACL Wiki
Revision as of 13:13, 27 February 2016 by Pdturney (talk | contribs) (Creating user page for new user.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

lexandre is a Research Staff Member in the Natural Resources Solutions group at IBM Research – Brazil. He joined IBM in December 2012.

Alexandre is also adjunct professor at the Applied Mathematics School of Getulio Vargas Foundation (EMAp/FGV). Prior that, he was also lecturer at PUC-Rio. Alexandre has taught many graduate and undergraduate courses: logics, data structures, programming, formal languages and automata theory. During his Ph.D., Alexandre was international fellow at Microsoft Research and SRI International. At MSR, in 2008, he worked with the Z3 SMT Solver team under supervision of Leonardo Moura and Nikolaj Bjørner developing a distributed environment for testing and optimizations of Z3. At SRI International, in 2009, he worked under supervision of Natarajan Shankar in different research projects.

Retrieved from "https://aclweb.org/aclwiki/index.php?title=User:Arademaker&oldid=11420"