teaching

A.Y. 2021/2022
Lecture on Declarative Process Mining at the 1st Process Mining PhD Summer School, 04-08/07/2022, RWTH Aachen (Germany). Slideshare Data and Process Modeling (6 ECTS), MSc in Computational Data Science, Free University of Bozen-Bolzano. Data and Process Modeling for Business Informatics (6 ECTS), BSc in Informatics and Management of Digital Business, Free University of Bozen-Bolzano. Research Methods (4 ECTS), module Presenting Scientific Work, PhD in Computer Science, Free University of Bozen-Bolzano.
A.Y. 2019/2020
Data and Process Modeling (6 ECTS), MSc in Computational Data Science, Free University of Bozen-Bolzano. Data and Process Modeling for Business Informatics (6 ECTS), BSc in Informatics and Management of Digital Business, Free University of Bozen-Bolzano. Research Methods (4 ECTS), module Presenting Scientific Work, PhD in Computer Science, Free University of Bozen-Bolzano.
A.Y. 2018/2019
Data and Process Modeling (6 ECTS), MSc in Computational Data Science, Free University of Bozen-Bolzano. Intelligent Systems (6 ECTS), BSc in Computer Science, Free University of Bozen-Bolzano. Research Methods (4 ECTS), module Presenting Scientific Work, PhD in Computer Science, Free University of Bozen-Bolzano. Slides Slideshare My presentations mentioned in the slides can be found here.
A.Y. 2017/2018
Data and Process Modeling (8 ECTS), MSc in Computer Science, Free University of Bozen-Bolzano. Integrated Modeling and Verification of Processes and Data 1.5-hour Tutorial (together with Diego Calvanese) at the 15th International Conference on Business Process Management (BPM 2017), 12/09/2017, Barcelona, Spain. URL Motivation and literature review Slideshare PDF Verification Slideshare PDF Back to concrete models Slideshare PDF Verification of Data-Aware Processes, 7.5-hour Accepted PhD Course (with Diego Calvanese), at the 29th European Summer School in Logic, Language, and Information (ESSLLI 2017), 24-28/07/2017, Tolouse, France. URL Introduction Slideshare PDF Data-Centric Dynamic Systems Slideshare PDF Verification logics Slideshare PDF Negative results (with some positive twists) Slideshare PDF Positive results Slideshare PDF Back to concrete models Slideshare PDF
A.Y. 2016/2017
Data and Process Modeling (8 ECTS), MSc in Computer Science, Free University of Bozen-Bolzano. Research Methods (4 ECTS), module Presenting Scientific Work, PhD in Computer Science, Free University of Bozen-Bolzano. Verification of Data-Centric Systems, 3-hour PhD Course (with Diego Calvanese) at the RiSE & LogiCS Summer School on Logic, Artificial Intelligence and Verification (LAIVe 2017), 05/07/2017, Vienna, Austria. OBDA For Log Extraction in Process Mining 3-hour PhD Course at the 13th Reasoning Web Summer School (RW 2017), 10/07/2017, London, UK. Slideshare PDF URL
A.Y. 2015/2016
Data and Process Modeling (8 ECTS), MSc in Computer Science, Free University of Bozen-Bolzano. Research Methods (4 ECTS), module Presenting Scientific Work, PhD in Computer Science, Free University of Bozen-Bolzano.
A.Y. 2014/2015
Data and Process Modeling (8 ECTS), MSc in Computer Science, Free University of Bozen-Bolzano. Applied Data and Process Modeling, 32-hour course to IT experts of the Autonomous Province of Bozen-Bolzano. Research Methods (4 ECTS), module Presenting Scientific Work, PhD in Computer Science, Free University of Bozen-Bolzano.
A.Y. 2013/2014
Data and Process Modeling, (8 ECTS), MSc in Computer Science, Free University of Bozen-Bolzano.
A.Y. 2012/2013
Conceptual Modeling for Information Systems, (4 ECTS), MSc in Computer Science, Free University of Bozen-Bolzano. Distributed Systems - part 1, (4 ECTS), BSc in Computer Science, Free University of Bozen-Bolzano.
2005-2011
Seminars, class and lab lectures for the Fundamentals of Artificial Intelligence and Applications of Artificial Intelligence courses, MEng in Computer Science Engineering, University of Bologna.
2009-2011
Seminars and professional training at Image Line, spanning from principles of software engineering to conceptual modeling and UML, object-oriented methodologies, design/architectural patterns and best practices, object-relational mapping (ORM) techniques.
A.Y. 2008/2009
Teaching assistant (tutor) for the Fundamentals and Lab of Computer Science course, BEng in Automation Engineering, University of Bologna Teaching assistant (tutor) for the Fundamentals of Computer Science course, BEng in Computer Science Engineering, University of Bologna.
A.Y. 2007/2008 and 2006/2007
Teaching assistant (tutor) for the Lab of Computer Science course, BEng in Computer Science Engineering, University of Bologna.
A.Y. 2005/2006 and 2003/2004
Teaching assistant (tutor) for the Operating System course, BEng in Computer Science Engineering, University of Bologna.