Doctoral Student in Computer Science

Computer science is not about machines, in the same way that astronomy is not about telescopes. There is an essential unity of mathematics and computer science. [Michael R. Fellows, 1991]

Department of Computer Science
Institute of Mathematics and Statistics
University of São Paulo

Research Interests

Logic: Probabilistic Semantics, Probabilistic Logics
Computational Logic: Probabilistic Satisfiability Problem (PSAT)
Philosophy: Interpretations of Probability