Ph.D. Student at Artificial Intelligence Laboratory, DIST, University of Genova.
Supervisor: Prof. Alessandro Armando
I'm a Ph.D. Student at the Artificial Intelligence Laboratory of the University of Genova (Italy) since January 2008. In october 2007 I got my master's degree (Laurea) in Computer Engineering at the same university under the supervision of Prof. Alessandro Armando (assistant supervisor: Ing. Roberto Carbone). My thesis is about the formal analysis of security properties in business processes. In particular it focuses on the modeling, formalisation and automatic analysis of a security-sensitive workflow: the Loan Origination Process.
Personal webpage
| none
|
Office address
| Villa Bonino, 3rd floor
|
| | Viale F. Causa, 13
|
| | 16145 Genova, Italy
|
| Phone | +39 010 353 6545 |
Fax | +39 010 353 2948 |
| E-mail | serena dot ponta at ai-lab dot it
|