![Kahlert School of Computing](https://www.cs.utah.edu/wp-content/uploads/2023/03/Kahlert_School_of_Computing_horiz1.png)
WEB 2897
Website | Google Scholar
Research Interests
Computer architecture, Programming Languages and Computer Systems with a focus on: Consistency Models, Coherence Protocols, Replication protocols, Language support for microarchitecture design, Correct-by-construction system design.