Nicolai Oswald

I am an Informatics PhD student at the Institute for Computing Systems Architecture at the University of Edinburgh.

nicolai.oswald (at)

My research currently focuses on developing design automation algorithms that automatically generate highly-concurrent and formally correct cache coherence protocols from a given atomic coherence protocol specification.

In addition to design automation algorithms, my interests revolve around mathematical modelling, graph theory and formal verification being applied to computer architecture and concurrent algorithms.