Denis D. Mauá
Denis D. Mauá
(he/him)

Associate Professor

About Me

I am an Associate Professor of the Department of Computer Science at the Institute of Mathematics and Statistics of the University of São Paulo. My research mostly focuses on the computational aspects of probabilistic and logical reasoning. My group is currently building a neuro-symbolic reasoner supported by such techniques.

I am an Area Editor of the International Journal of Approximate Reasoning, an Associate Editor of the Artificial Intelligence Journal, and Senior Associate Editor of the new ACM Transactions on Probabilistic Machine Learning Journal. I serve regularly in the Program Committee of top AI conferences (AAAI, IJCAI, UAI, etc).

Interests
  • Artificial Intelligence
  • Tractable Probabilistic Modeling
  • Probabilistic Programming
  • Planning Under Uncertainty
  • Imprecise Probability
Education
  • PhD Informatics

    University of Lugano

  • MEng in Mechatronics

    University of São Paulo

  • Electrical Engineering

    University of São Paulo

Recent Publications
(2026). Automated Essay Scoring for Brazilian Portuguese - Evidence from Cross-Prompt Evaluation of ENEM Essays. Proceedings of the 17th International Conference on Computational Processing of Portuguese (PROPOR 2026) - Vol. 2.
URL
(2026). Automated Reformulation of Argumentative Essays to Improve Argument Organization and Development. Proceedings of the 17th International Conference on Computational Processing of Portuguese (PROPOR 2026) - Vol. 1.
URL
(2026). Evaluating Automated Scoring Models on Official ENEM Essays. Proceedings of the 17th International Conference on Computational Processing of Portuguese (PROPOR 2026) - Vol. 1.
URL
(2026). Neuro-symbolic Approaches for Rubric-Based Automatic Essay Evaluation of ENEM Essays. Proceedings of the 17th International Conference on Computational Processing of Portuguese (PROPOR 2026) - Vol. 1.
URL
(2026). Probabilities of Causation and Root Cause Analysis with Quasi-Markovian Models. Proc. 35th Brazilian Conference on Intelligent Systems (BRACIS 2025).
Recent & Upcoming Talks