Software Development CORA A tool for continuous reachability analysis, for which I contributed since 2021. AROC A tool for automated controller synthesis, for which I contributed in 2024. ancora A C library I started, to perform safe geometric computations.
