Explore projects

Grammatical inference using the Z3 SMT solver

Tight-binding Propagation Simulator for python 3.

Repository for the framework used in project 1 of the computer networking course.

Might be used in the git workshop for Thalia

Leaderboard based on Python (Flask) where students can submit code assignments and see how their performance metrics compare to other students.

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws

static webpage source

Datamining Project 2017

parameters readout from finnigan raw file format

Graph generator for representational distortion

Bachelor thesis "Comparison of temporal pooling methods and fusion strategies for Alzheimer’s Disease classification using convolutional neural networks with 3D MRI data" by Polina Moroza