Defended my PhD thesis "Correctness Witnesses for Thread-Modular Program Analysis"! hdl.handle.net/10062/120144

Published my PhD thesis "Correctness Witnesses for Thread-Modular Program Analysis": hdl.handle.net/10062/120144

Goblint ranked 1st in data races and 2nd in correctness proving overall in SV-COMP 2026: sv-comp.sosy-lab.org/2026/results...

New blog post: sim642.eu/blog/2026/01...

New blog post: sim642.eu/blog/2025/10...