research RoadLogic: Declarative Scenario-based Testing A logic-based planning and simulation framework for road scenarios, using Answer Set Programming and OpenSCENARIO 2.1. VolTRE: Sampling for Timed Regular Expressions Volumetry and uniform sampling methods for timed regular expressions. ShapEx: Sampling for Shape Expressions A tool for generating examples from shape expressions. NetTraceSim: Epidemic Spreading on Social Networks ABM/DES modeling of COVID epidemic spread and contact tracing on social networks. anyHR: Hit-and-Run MCMC Sampling Hit-and-run MCMC algorithms for sampling sets defined by arbitrary inequality constraints. coursework Canonical Huffman Coding Canonical Huffman code, written for the Information Theory course at TU Wien. ModSim: Modeling & Simulation Coursework MATLAB implementations from a TU Wien course on applied modeling in system simulation.