Research

Research Interests

I am mainly interested in understanding and analyzing the problem of regulatory compliance in a business process-centered enterprise management setting. My research seeks to tackle regulatory compliance by developing a method and a framework for representing compliance. I am working on developing a formal graphical language for modeling compliance. Using formal model driven engineering techniques, such as formal meta-modelling, model composition and transformation. I study the use of proven and powerful verification techniques for process compliance checking. The applications of such a framework range from security issues such as access control to the modeling of governance requirements or business contracts.

Reviewer

• For the ACM Symposium on Applied Computing. http://www.acm.org/conferences/sac/sac2011/. Software Engineering Track: http://paris.utdallas.edu/sacse11/.
• For the book: Electronic Business Interoperability - Concepts, Opportunities and Challenges. A book edited by: Ejub Kajan (State University of Novi Pazar, Serbia). IGI Global. To appear in 2011. http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=45956.
  
• For the book: Modern Software Engineering Concepts and Practices: Advanced Approaches. A book edited by (Dr. Ali H. Dogru, Middle East Technical University, Turkey and Mr. Veli Bicer, FZI Research Center for Information Technology, Germany). http://www.igi-global.com/requests/details.asp?ID=687.
• Reviewer at the ECIS 2008: European Conference on Information Systems - Track 6: Strategic Management of IS and IT. http://www.ecis2008.ie/

Research Schools

• 1st International summer school on domain specific modeling - theory and practice, 2010, 06-09.09.2010. DSM-TP 2010, Casa da Cerca, Lisbon Portugal. http://ctp.di.fct.unl.pt/DSM-TP/.
• European Summer School of Logic, Language and Information. ESSLLI 2010. UNIVERSITY OF COPENHAGEN / DENMARK / AUGUST 9-20, 2010. http://esslli2010cph.info/.

Teaching

• Winter Semester 2009-2010. Practical sessions (Travaux Diriges) for the Object Oriented Programming Course. Bachelor of Engineering and Bachelor of Mathematics. Prof. Pierre Kelsen.
• Summer Semester 2010. Practical sessions (Travaux Diriges) for the Object Oriented Programming Course. Bachelor of Engineering and Bachelor of Mathematics. Prof. Pierre Kelsen.