teaching.html

---
layout: default
title: Teaching
---

<section id="teaching" class="sec sec-alt">
    <div class="container">
        <div class="row">
            <div class="col-sm-12">
                <!-- Courses -->
                <h3 class="text-left">Courses</h3>

                <p class="text-left">
                    The following courses are (were) taught with my assistance:
                </p>

                <ul class="text-left">
                    <li>Advanced Programming (2024-current)</li>
                    <li>Advanced Object-Oriented Programming (2020-2023)</li>
                    <li>Scalable computing (2020)</li>
                </ul>
            </div>
        </div>
    </div>
</section>

<section id="master" class="sec sec-alt">
    <div class="container">
        <div class="row">
            <div class="col-sm-12">
                <!-- Students -->
                <h3 class="text-left">Master projects</h3>

                <p class="text-left">
                    The following master projects are (were) under my supervision and/or assistance:
                </p>

                <!-- MSc -->
                <p class="text-justify">
                    Mark Kloosterhuis,
                    Verification extension for Business Process Modeling (VxBPM) Tool,<br/>
                    University of Groningen,
                    May 2016,
                    supervision by Prof. dr. ir. Marco Aiello.
                </p>
                <p class="text-justify">
                    Piet den Dulk,
                    VxBPMN Designer: A Graphical Tool for Customizable Process Models Using the PVDI Framework,<br/>
                    University of Groningen,
                    September 2014,
                    supervision by Prof. dr. ir. Marco Aiello.
                </p>
                <p class="text-justify">
                    Adam Loorbach,
                    Measuring the efficiency offered to local e-Governments by Service Oriented Architectures,<br/>
                    University of Groningen,
                    August 2010,
                    supervision by Prof. dr. ir. Marco Aiello.
                </p>
            </div>
        </div>
    </div>
</section>

<section id="scientific-internships" class="sec sec-alt">
    <div class="container">
        <div class="row">
            <div class="col-sm-12">
                <!-- Students -->
                <h3 class="text-left">Scientific internships</h3>

                <p class="text-left">
                    The following scientific internships were under my supervision and/or assistance:
                </p>

                <p class="text-justify">
                    Antonin Thioux,
                    Analysis of Metastable Failure Detection using Machine Learning Techniques,<br/>
                    University of Groningen,
                    November 2023.
                </p>
                <p class="text-justify">
                    Andr&eacute;s Tello,
                    Business Process Model Checking: using PDVI techniques & the NuSMV model checker tool,<br/>
                    University of Groningen,
                    May 2013,
                    supervision by Prof. dr. ir. Marco Aiello.
                </p>
            </div>
        </div>
    </div>
</section>

<section id="bachelor" class="sec sec-alt">
    <div class="container">
        <div class="row">
            <div class="col-sm-12">
                <!-- Students -->
                <h3 class="text-left">Bachelor projects</h3>

                <p class="text-left">
                    The following bachelor projects are (were) under my supervision and/or assistance:
                </p>

                <!-- BSc -->
                <p class="text-justify">
                    Lorenzo Casale,
                    Enhancing Data Analysis with RDF and SPARQL, <br/>
                    University of Groningen,
                    July 2024.
                </p>
                <p class="text-justify">
                    Jeroen Klooster,
                    A token execution semantics for BPMN,<br/>
                    University of Groningen,
                    July 2023.
                </p>
                <p class="text-justify">
                    Merlijn Frikken,
                    Conversion of Business Process Modeling Notations,<br/>
                    University of Groningen,
                    December 2020.
                </p>
                <p class="text-justify">
                    Sam van Dijk,
                    Model checking business processes: The search for the most compatible model checker,<br/>
                    University of Groningen,
                    January 2014,
                    supervision by Prof. dr. ir. Marco Aiello.
                </p>
                <p class="text-justify">
                    Robbert-Jan Pijpker,
                    Business Process Variants: a Generation from Templates,<br/>
                    University of Groningen,
                    June 2013,
                    supervision by Prof. dr. ir. Marco Aiello.
                </p>
            </div>
        </div>
    </div>
</section>