Patrick Trentin

PhD Student, University of Trento
Home Publications Teaching


Patrick Trentin is a computer science PhD student at the University of Trento, Italy and a developer of OptiMathSAT, a tool for Optimization Modulo Theory (OMT) based on MathSAT (FBK). Over the past year, Roberto Sebastiani and Patrick extended OptiMathSAT to support model verification with incremental multi-objective optimization over the integer and rational domains.

Contact Information

Office Location: DISI, University of Trento
Via Sommarive 9, 38123 Povo - Trento Italy
OpenSpace 7 ~ Desk 4
Office Phone:+ 39 0461 28 3814
Office Email:patrick[dot]trentin[at]unitn[dot]it