Patrick Trentin

PhD Student, University of Trento
Home Publications Teaching

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
Hangout:patrick[dot]trentin[dot]88[at]gmail[dot]com
Skype:patrick[dot]trentin[dot]88[at]live[dot]com
Website:www.patricktrentin.com