Technology Source-linked briefing

Anders Alnor Mathiasen's PhD defence: How to build software systems with correctness guarantees

On Friday, November 18, Anders Alnor Mathiasen will defend his PhD Building Systems with Guarantees

Anna Klingenberg

Original contributor via Aarhus University Department Of Computer Science

| November 11, 2026 | 1 min read | Updated Nov 11, 8:01 PM

On Friday, November 18, Anders Alnor Mathiasen will defend his PhD Building Systems with Guarantees

Source disclosure

This is a source-linked briefing. Read the original report from Aarhus University Department Of Computer Science .

Science phd defense featured pls