Nicolai Oswald

I am an Informatics PhD student at the Institute for Computing Systems Architecture (ICSA) at the University of Edinburgh scheduled to graduate in 2022.

My PhD has been funded partially through a Google PhD Fellowship and an ICSA Award Stipend, awarded in 2019 and 2017 respectively.

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.

Furthermore, the algorithms can be used to automatically generate hierarchical as well as heterogenous coherence protocols that adhere to a precisely defined memory consistency model, termed as compound memory consistency model.

The developed algorithms generate protocols that show a similar or better performance than publicly available reference cache coherence protocols.

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.