Education

Our group delivers education in the study programmes BSc Computing Science and MSc Computing Science :

BSc courses

• Introduction to Logic (CS)
• Introduction to Computing Science
• Discrete Structures
• Programming Fundamentals
• Imperative Programming (for CS) (until 2022-2023)
• Program Correctness (until 2022-2023)
• Advanced Algorithms
• Functional Programming
• Signals and Systems for CS
• Languages and Machines
• Compiler Construction
• Computational Complexity
• Algorithmic Programming Contests

MSc courses

• Models and Semantics of Computation
• Modal Logic and Proof Theory
• Programs and Interactive Proofs
• Student Colloquium (Computing Science)
• Image Processing (until 2021-2022)

Supervision of BSc and MSc Students

Looking for a BSc or MSc research project? Please have a look at the available projects listed below. Feel free to contact one of the faculty members of the group if you have ideas for a project.

• Available BSc Projects

Completed Student Projects

Below is a list of MSc projects, BSc projetcs, and Honours College project that were carried out under the supervision of one or more members of the Fundamental Computing group. Unless stated otherwise, these projects were part of the degree programmes for Computing Science at the University of Groningen. The theses for graduation projects at the UG can be found in the Student Thesis Repository of the Faculty of Science and Engineering.

MSc thesis projects

• Eline Hoexum, Completeness over Kripke Models of a Cyclic Proof System for Game Logic (2022, MSc Math, supervisor: Helle Hvid Hansen, second supervisor: Alef Sterk)
• Bas van den Heuvel, The Logic of Fault-Tolerance in Message-Passing Concurrency (2019, UvA, co-supervisors: Jorge Pérez and Alban Ponse)
• Luc van den Brand, L-systems as a graph of Operations: Evaluating the viability of rewriting L-systems using TensorFlow (2019, supervisor: Jiří Kosinka, second supervisor: Jorge Pérez)
• Jeroen Brandsma, Design and validation of a software architecture when integrating third party software components (2018, supervisor: Paris Avgeriou, second supervisor: Jorge Pérez)
• Firat Sertgoz, Scalability Evaluation of Hyperledger Fabric and Channels Component (2018, co-supervisors: Marco Aiello and Jorge Pérez)

BSc thesis and Honours College projects

• Andrei Girjoaba, Natural Deduction Proof Evaluator for Fitch Style Proofs (2022-2023 running, Honors College project, co-supervisors: Daniel Feitosa and Helle Hvid Hansen)
• Hessel Monhemius, Survey of the decision problem for linear logic and its fragments (2022, co-supervisors: Revantha Ramanayake and Amir Tabatabai)
• Omar Adham, Towards an automated prover for Jankov logic (2022, co-supervisors: Adrián Aubel Puerto and Revantha Ramanayake)
• Lubor Budaj, Formalization of modal logic S5 in the Coq proof assistant (2022, supervisor: Dan Frumin, second supervisor: Revantha Ramanayake)
• Eelke Landsaat, A Model Checker for Game Logic via Parity Games (2022, supervisor: Helle Hvid Hansen, second supervisor: Jorge Pérez).
• Han Meerholz, Towards Automated Theorem Proving in the CloG Proof System (2022, supervisor: Helle Hvid Hansen, second supervisor: Revantha Ramanayake).
• Steven van Schagen, Game Logic: A Proof Transformation from Gentzen to Hilbert (2022, supervisor: Helle Hvid Hansen, second supervisor: Tijs van der Storm).
• Andrei Dumitriu, Linear algorithms for Parity Games with the Signature of a Potential (2022, co-supervisors: Oliver Lorscheid and Jorge Pérez)
• Lars Andringa, Automating XML parser generation for specific data operations (2022, supervisor: Fadi Mohsen, second supervisor: Jorge Pérez)
• Attie Hendriks, A Reversible Semantics for Logic-Based Typed Concurrent Processes (2022, supervisor: Jorge Pérez, second supervisor: Revantha Ramanayake)
• Rares Dobre, A dynamic approach to protocol conformance verification using multiparty session types (2022, supervisor: Bas van den Heuvel, second supervisor: Jorge Pérez)
• Laura-Andrea Schimbator, Hoare Logics for Skeletal Semantics (2022, supervisor: Dan Frumin, second supervisor: Jorge Pérez)
• Miguel Bartelsman Mejía, Skeletal Semantics for Message-Passing Concurrency, From Actors to Channels and Back (2022, supervisor: Dan Frumin, second supervisor: Jorge Pérez)
• Miriam Agafitei, Enhancing the Automata Theory Course with Notions from Reactive Systems (2022, supervisor: Jorge Pérez, second supervisor: Revantha Ramanayake)
• Carmen Jica, Chasing Concurrent Type Theory (2022, Honours College, supervisor: Jorge Pérez)
• Chris Ausema, From Accepting Computation to Satisfying Model (2021 supervisor: Helle Hvid Hansen, second supervisor: Revantha Ramanayake).
• Bas Haaksema, Executable Specifications of Message-based Concurrency in Maude (2021, supervisor: Jorge Pérez, second supervisor: Dan Frumin)
• Jens Hartsuiker, Automating University Timetabling using MiniZinc (2021, supervisor: Jorge Pérez, second supervisor: Viktoriya Degeler)
• Antal Huisman, Translating Incorrectness Logic into KAT (2021, supervisor: Dan Frumin, second supervisor: Jorge Pérez)
• Chris Worthington, Proof Transformations for Game Logic (2021, supervisor: Helle Hvid Hansen, second supervisor: Tijs van der Storm).
• Kanghu Shi (2020-2021, Honours College project, supervisor: Jorge Pérez)
• Luis D. Reyes, Message-Passing Concurrency: Links between Concurrent ML and the π-calculus (2020, supervisor: Jorge Pérez)
• Alex Keizer, Coalgebras of Session Types: Defining a syntax independent framework (2020, UL, supervisor: Henning Basold, co-supervisor: Jorge Pérez)
• Anda-Amelia Palamariuc, Minimal Session Types for First-Order Processes (2020, supervisor: Jorge Pérez)
• Mark Soelman,  Hyperledger Fabric: A study of endorsement policies for supply chains (2019, supervisor: Vasilios Andrikopoulos, co-supervisor: Jorge Pérez)
• Bianca Udrescu, An exercise on program equivalence for message-passing processes (2019, supervisor: Jorge Pérez)
• Evi Xhelo, Strong Normalization in Message-Passing Concurrency (2019, supervisor: Jorge Pérez)
• Jakob Vokac, Verifying message-passing programs using decompositions (2019, supervisor: Jorge Pérez)
• Elton Antonis, Verifying Message-Passing Programs in Go (2018, Honours College project and BSc Thesis, supervisor: Jorge Pérez)
• Alexandru Babeanu, Implementing Synchronous Reactive Programming in RxJava (2018, supervisor: Mauricio Cano, supervisor: Jorge Pérez)
• Barnabas Busa, Proof of Actual Work (2018, supervisor: Vasilios Andrikopoulos, co-supervisor: Jorge Pérez)
• Daan Raatjes (2018, Honours College project, supervisor: Jorge Pérez)
• Erik Voogd, Minimal Session Types (2018, supervisor: Jorge Pérez)
• Erik Voogd, Verifying LTL Specifications for Discrete-Time Dynamical Systems, BSc Maths, UG (2018, co-supervisors: Bart Besselink and Jorge Pérez)
• Folkert de Vries, Reversible Session-Based Concurrency in Haskell (2018, supervisor: Jorge Pérez)
• Ana Roman, Relating Specifications of Compensations and Dynamic Update (2017, supervisor: Jorge Pérez)