Nicolai Oswald

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

nicolai.oswald (at) ed.ac.uk

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.