|Giampaolo Bella, Ph.D. (Cambridge)
Dipartimento di Matematica e Informatica
Università di Catania
Viale A.Doria, 6
I-95125 Catania, ITALY
giamp a t dmi.unict.it
My main interests lie in the area of formal specification and verification of critical real-world systems such as security protocols. I fancy both mechanised approaches such as the Inductive Method and non-mechanised ones such as Soft Constraint Solving.
Lately, I've started looking at biological issues that are profitably amenable to mechanised formal analysis. I still don't call this bioinformatics as I just see it as yet another application of formal methods.
Beside formal verification, I've also recently looked at some peculiar problems of peer-to-peer networks and at the world of business processes and workflows.
- Computer-assisted verification for safety properties of genetic
networks underlying liver regeneration. Position: Principal Investigator of Italian part for year 2008. Sponsor: British Council.
- Automatic Validation of Security and Trust of Service Oriented Architectures. Position: Workpackage Leader under the auspices of SAP Research France for year 2008. Sponsor: EU FP7 Programme.
- Ricerca e Sviluppo di un Originale Prototto SW EasyWM
Destinato alla Logistica Estesa. Position: Leader of Security Workpackage from March 2004 to Feb 2007. Sponsor: MIUR.
- Verifying Electronic Commerce Protocols. Position: Research Associate from Oct 2000 to Sept 2003. Sponsor: EPSRC.
- Authentication Logics: New Theory and Implementations. Position: Research Assistant from Oct 1996 to June 1999. Sponsor: EPSRC.
- STAST'12: the 2nd international workshop on Socio-Technical Aspects in Security and Trust
- ACM SAC: my Security Track at the ACM Symposium on Applied Computing has been successfull since 2002.
- WSF: my Workshop on Security Frameworks is getting bigger.
- I am and have been serving as a Program Committee member for various conferences.
A random collection of slides I have recently used for seminars at various conferences worldwide.
I currently teach two courses in Computer Security, one at undergraduate and one at postgraduate level. I also teach various courses in Foundations of Computer Science. I gave up previous courses in Advanced Programming and in Computer Architecures.