Scholar
Paolo Morettin
Google Scholar ID: 9JK7q10AAAAJ
Assistant professor (RTD-A), University of Trento
Citations & Impact
Citations
293
H-index
11
i10-index
11
Publications
20
Co-authors
0
Publications
Resume
Background
- Computer science researcher affiliated with the University of Trento.
- Research lies at the intersection of machine learning and automated reasoning, with a focus on probabilistic inference with algebraic and logical constraints.
- Currently fully supported by a Marie Skłodowska-Curie Action fellowship.
- The project aims at advancing the trustworthiness of AI systems by developing verification tools that provide formal guarantees on their correctness.
- As a side project, investigating the use of machine learning for procedural generation of functional game content (e.g., levels, rules) that must satisfy hard constraints.