Arademaker at 01:07, 6 April 2018

2018-04-06T01:07:35Z

← Older revision		Revision as of 01:07, 6 April 2018
Line 1:		Line 1:
	~~lexandre~~ is a Research Staff Member in the Natural Resources Solutions group at IBM Research – Brazil. He joined IBM in December 2012.		Alexandre is a Research Staff Member in the Natural Resources Solutions group at IBM Research – Brazil. He joined IBM in December 2012. Alexandre is also an adjunct professor at the Applied Mathematics School of Getulio Vargas Foundation (EMAp/FGV). Alexandre has taught many graduate and undergraduate courses: logic, data structures, programming, formal languages, and automata theory.

	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.		Alexandre holds a Ph.D. (2010) in Computer Science from Pontifical Catholic University of Rio de Janeiro (PUC-Rio) and M.Sc. (2005) in Computer Science from Fluminense Federal University, and B.Sc. (2001) in Computer Science from Federal University of Rio de Janeiro.

			During his Ph.D., Alexandre was an international fellow 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 different research projects including the preliminary formalization of ALC deduction systems in PVS. Alexandre participated in several research projects like MIST (using natural language processing and description logics for Knowledge modeling), ANUBIS (database consistency check) and Ontology and Context (investigating the problem of ontology alignment). In his thesis, we 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 2012 as a book of the series Springer Briefs.

			Alexandre is the author/co-author of more than 70 papers published in peer-reviewed journals and international conferences. His areas of expertise and interesting are logic, proof theory, knowledge representation and reasoning, type theory, computational semantics, lexical resources and computational grammars.

			Alexandre is also a board member of the Global WordNet Association and the current coordinator of the CE-PLN.

Pdturney: Creating user page for new user.

2016-02-27T19:13:07Z

Creating user page for new user.

New page

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.

User:Arademaker - Revision history

Arademaker at 01:07, 6 April 2018

Pdturney: Creating user page for new user.