Explore projects

Software that I use when teaching

Unlinkable Updatable Hiding Databases and Privacy-Preserving Loyalty Programs

Multi-solution for detecting and resolving anaphoric ambiguity in requirements

Simulations of the LeoRover for ROS

A speech-to-speech autoencoder.

Repository to store the utility source code for the SPARK Challenge 2022.

Repository for rainbow deliverable for Pierre

Tamarin Prover on the Luxembourg HPC

DemaRQ: Demarcator for ReQuirements

Tool to draw the templates of chaotic attractors.