My interest revolve around modelling and analysis, in particular of business processes. My focuses concerns the application of formal verification techniques on Business Processes as well as their simulation and analysis. I'm interested also in data analysis, with background on Ontologies, Natural Language Processing, and automatic Categorization. I have strong interests also in security. I have developed a framework for SAML2 authentication and worked in SmartCard programming. Parallel to the software development I really like teaching and perform research as a way of software improvements.