I am an experienced researcher in Computer Science, stimulated by the process of understanding problems, their theoretical challenges, proposing solutions, implementing and verifying them. My problem solving attitude, coupled with communication skills, resulted in over 20 publications in highly-ranked international conferences and journals and around 800 citations in a 10 year academic career across different countries, focused on formal methods, conceptual/mathematical modelling and logics often accompanied by practical tool development.
Multi-agent systems and strategic reasoning;
Propositional and first-order temporal logics, formal analysis, offline verification and runtime monitoring;
Business process models and data-aware approaches for modeling workflows;
Formal verification applied to security: satisfiability of workflows with authorization constraints.