Wo bacheloropleiding Informatiekunde

dhr. F.T. Hooijmans BSc, Leidschendam

dhr. H.J.W. Kluin BSc, Apeldoorn

Wo masteropleiding Computer Science, variant Information Systems Management

dhr. M.H.A. Verhaeg MSc, München, Duitsland
Afstudeeropdracht: A decision design pattern to detect and present the maturity-level of decision-relevant information.

Wo masteropleiding Software Engineering

dhr. J.P.C. van Nispen MSc, Nijmegen
Afstudeeropdracht: Probabilistic Programming for Spectroscopic Data Analysis Applied to Vibrational Spectroscopy.

dhr. D. Ostkamp MSc, Groningen
Afstudeeropdracht: IRMA and Verifiable Credentials. What is their relation?

dhr. R.J. Steins MSc, Nuenen
Afstudeeropdracht: Logical Shortcuts. Heuristic Steps in logic tutoring systems.

Wo bacheloropleiding Informatica

mw. J.M.S. Schut BSc, Maastricht
Afstudeeropdracht: Temporal data analysis using asymmetric hidden Markov models: a case study of renal patient data.

dhr. J. Thibaudier BSc, Blaricum*
Afstudeeropdracht: An R package for learning asymmetric hidden Markov models & Evaluation of treatment of psychotic depression using asymmetric hidden Markov models.

Wo bacheloropleiding Informatica

dhr. H. Chafik MSc, Echt
Afstudeeropdracht: Design Patterns approached from the functional paradigm within the programming language Java.

mw. O.M. Dijkink MSc, Utrecht
Afstudeeropdracht: Occurrence of code smells in low-code.

dhr. B.W.A. Elema MSc, Laag-Soeren
Afstudeeropdracht: Finding Chinks in the Armour. Software Vulnerability Prediction using Deep Learning on Graph Representations of Source Code.

dhr. L. Groenveld MSc, Bergen Op Zoom
Afstudeeropdracht: Improving Student Success Prediction using (Bayesian) Machine Learning.

dhr. M. Spaans MSc, Utrecht
Afstudeeropdracht: Symbolic energy analysis framework. Method for analyzing energy consumption of external hardware components controlled by ECA programs using symbolic execution and SMT solving.

dhr. M.R. van der Wart MSc, Heerhugowaard*
Afstudeeropdracht: Explaining Recurrent Neural Networks using Rule Ectraction. A Practical Evaluation.

dhr. E.A. Weewee MSc, Rotterdam
Afstudeeropdracht: Automatic Detection of Design Patterns in Java Source Code.

Wo bacheloropleiding Informatica

mw. I.M. de Ruijter BSc, Woerden
Afstudeeropdracht: The impact of using QUIC on the IRMA authentication platform

dhr. S. Severin BSc, Rotterdam
Afstudeeropdracht: Graphical User Interface for Networks of Timed Automata

dhr. J.D.A. van der Waal BSc, Hendrik-Ido-Ambacht
Afstudeeropdracht: Ontwerpproject

Wo masteropleiding Software Engineering

dhr. O.J. Maathuis MSc, Hengelo
Afstudeeropdracht: Verifying OpenJDK's LinkedList using KeY

dhr. J.C.W.M. van Overveld MSc, Oud Gastel
Afstudeeropdracht: Abstractions for software communication. Programming protocols in TypeScript

dhr. G.F.A. Theuws MSc, Breda
Afstudeeropdracht: Random action selection vs genetic programming: a case study in TESTAR

Wo Bacheloropleiding Informatica: variant vrije wetenschappelijke opleiding

dhr. C.J. Hoorenman BSc, Amsterdam

* Bij deze student werd aan het behaalde getuigschrift de waardering met Lof toegekend.
** Bij deze student werd aan het behaalde getuigschrift de waardering met de hoogste Lof toegekend

Vrije wetenschappelijke bacheloropleiding Informatica

dhr. G. Buijs BSc, Rotterdam
Afstudeeropdracht: A Subroutines Framework and a Web Accessibility Layer for TESTAR.