I am a Ph.D candidate at the University of Edinburgh, School of Informatics under supervision of Dr. Vijay Nagarajan. My work is with the Compiler and Architecture Design Group which is part of the Institute for Computing Systems Architecture.
Current areas of interest:
- Programming languages with focus on concurrency.
- Memory consistency models, and their impact on hardware and software design.
- Scalable cache coherence protocols.
- Verification of the memory consistency model in hardware and compilers.