Defended my Master's thesis

I defended my Master’s thesis, Uniform sampling of timed regular expressions, completing the MSc in Logic & Computation at TU Wien. The work was carried out in part during my research stay at Université Grenoble Alpes and produced the open-source tool VolTRE.