unofficial Giamp 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

personal



Book flyer







G.Bella's book
Research
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.

 Research papers   Edited books and journals 

Projects 
- 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.
Events
- 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.
Talks
A random collection of slides I have recently used for seminars at various conferences worldwide.
Teaching (Didattica)
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.

 Insegnamenti 
 Ricevimento


Page subject to continuous changes...