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
| |
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 |
|
| 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.
|
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.
|