Biodata
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 |
| Personal Website: | www.patricktrentin.com |
