Current Position

On December 17th 2012 I have been awarded (with highest scores) a joint PhD degree in Computer Science at University of Luxembourg and University of Torino.
After a short but intense career I decided to quit academia and look for new challenges into industry.

News

• [February 3, 2013] Here you can download my PhD thesis.
• [December 14, 2012] On Monday 17th I will defend my PhD thesis titled: "Modalities in Access Control: Logics, Proof-Theory and Applications"
• [July 16, 2012] Paper on goal-directed proof theory for access control logics with Deepak Garg and Daniele Rispoli to appear in STM 2012.
• [March 30, 2012] Paper on labeled sequent calculi for access control logics with Deepak Garg and Daniele Rispoli to appear in CSF 2012.
• [March 29, 2012] Paper "Countermodels from Sequent Calculi in Multi-Modal Logics" with Deepak Garg and Sara Negri to appear in LICS 2012.
• [January 19, 2012] Paper on privacy enhanced access control to appear in ACM Transiactions on Dependable and Secure Computing.
• [December 23, 2011] Paper on neural symbolic systems applied to normative reasoning to appear in AAMAS 2011.
• [November 30, 2011] New paper on modeling delegation and revocation schemes in ASP to appear in the Journal of Logic and Computation.
• [November 18, 2011] Winner of a 30K research grant during the final competition of Working Capital with project SmartAccess.
• [November 2, 2011] Finalist with Daniele Rispoli at national competition for innovative ideas Working Capital with project SmartAccess.
• [September 22, 2011] Paper on embedding and automating first-order conditional logics into HOL simple type theory has been accepted to NCMPL 2011.
• [June 22, 2011] Technical report on embedding and automating propositional conditional logics into higher-order simple type theory is now on arXiv here.
• [June 10, 2011] New paper with Steve Barker on a novel framework for distributed access control accepted at ESORICS 2011.
• [May 5, 2011] New paper with Deepak Garg on modalities in access control accepted at STM 2010.