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. Research Faculty | GradNova