Explore projects

We compare the existing RA learners (Tomte and RALib) on a set of benchmarks and analyze the statistics. The project includes the binaries of the tools, as well as scripts that automatically generate models, run and collect data.

Build and CI scripts for Clean

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