**On leave since November 2019. Please reach me as begoncalves at usp.br**.
I joined IBM Research in early 2016. Before that I have been a postdoctoral fellow at the University of Michigan (2015-16), and earned my Ph.D. in Computational Modeling (computer science, applied math and physics) in early 2015 from the National Laboratory for Scientific Computing (LNCC) in Brazil. Also, I have been doing a second Ph.D. --- in the philosophy and history of science --- at the University of São Paulo. My philosophy dissertation is on Alan Turing's imitation game, also known as the Turing test. Next I am moving my attention to another project on Turing - his views on the future of artificial intelligence (AI).
My computer science research is focused on AI (theory and systems). Please find my computer science publications at DBLP. At IBM Research I have worked mostly under the leadership of Dr. Rogerio de Paula on the design and application of AI techniques to serve the natural resources industries. In my one-year postdoc at the University of Michigan (among the top-10 CS departments in the world) I received training from (h-index 90) Prof. H. V. Jagadish and have developed a (statistical inference) Bayesian smoothing algorithm for the disambiguation of search and natural language queries issued against a relational database (by building on information available from the database schema and a user-interaction log). In my Ph.D. work at LNCC, I developed a technique named Y-DB to extract causal graphical models (with correctness guarantees) from competing sets of mathematical equations (seen as alternative hypotheses, and given in MathML), and then generate automatically a compact probabilistic relational database (so-called U-relations). As part of that research, I have fixed the status of a classical AI algorithm for causal reasoning proposed in the 1950's by Nobel-laureate Herbert A. Simon. My Ph.D. dissertation has been nominated to the 2016 (nationwide) edition of 'Prêmio CAPES de Teses'. During the Ph.D. I have been awarded an IBM Ph.D. Fellowship (2013-14), and a FAPERJ Straight 'A' Scholarship (2013-15). I also have M.Sc. and B.Sc. degrees in computer science from the Federal University of Espírito Santo.