Current Position

Since September 2009, I am a PhD student at the University of Luxembourg and University of Torino under the joint supervision of

• Guido Boella
• Dov Gabbay
• Leendert van der Torre

I am an active member of the following groups

• IFIP WG11.3 on Data and Application Security and Privacy
• Individual and Collective Reasoning Group, University of Luxembroug
• Agents Chapter of Interaction Modelling Group, University of Torino
• Robotic Laboratory of CSC, University of Luxembourg

News

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