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 |
+39 010 353 2948
| E-mail||serena dot ponta at ai-lab dot it |