Program Committee Member of International Conferences
PC Member, Papers, ITiCSE 2019.
Publicity Co-Chair, International Workshop on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2019.
PC Member, Semantic Technologies in Smart Information Sharing and Web Collaboration Conference Track (Web2Touch 2019) at the 28th IEEE WETICE Conference (WETICE 2019), Capri, Italy.
Co-organizer, Special Session on Business Processes and Fuzzy Logic (BPFL), FUZZ-IEEE 2019
PC Member, Experience Reports and Tools, SIGCSE 2019.
PC Member, Nifty Assignments, SIGCSE 2019.
PC Member, Papers, CompEd 2019.
Special Session on Computational Intelligence in Software Engineering (CISE 2018) at the 13th International Conference on Software Technologies (ICSOFT 2018), Porto, Portugal.
Semantic Technologies in Smart Information Sharing and Web Collaboration Conference Track (Web2Touch 2018) @ the 27th IEEE WETICE Conference (WETICE 2018), Paris, France.
APSEC (Short Papers and Posters) 2017, Nanjing, Jiangsu, China.
Semantic Technologies in Smart Information Sharing and Web Collaboration Conference Track (Web2Touch 2017) @ the 26th IEEE WETICE Conference (WETICE 2017), Poznan, Poland.
Modelling the Collaborative Web Knowledge Conference Track (Web2Touch 2016) @ the 25th IEEE WETICE Conference (WETICE 2016), Paris, France.
PeerJ Computer Science
“Improving Software Quality from Several Perspectives”, School of Computing, Edinburgh Napier University, Edinburgh, United Kingdom, 25th June 2019
“Mining Student Code for Teaching Design, Fostering Semantic Style, and Reaching Better Student Engagement”, School of Engineering and Applied Sciences, Aston University, Birmingham, United Kingdom, 30th May 2018.
“Mining Student Code Aiming to Better Methods and Tools for Teaching Design and Programming”, Department of Distributed and Dependable Systems, Charles University, Prague, Czech Republic, 9th May 2018.
Panelist for the PEPPER project (interview) “Interdisciplinary Research by means of Model Checking”, Oxford Brookes University, Wheatley Campus, Oxford, United Kingdom, 7th January 2016
“Two (Unusual) Applications of Model Checking: Wiki Evolution and Design Pattern(s) Mining”, Technische Universität München, Institut für Informatik, Munich, Germany, 22nd October 2015
“An Unusual Context for Formal Verification: Wiki Evolution”, Department of Computer Science and Engineering, University of Bologna, Italy, 9th September 2015