res/melver_portrait_1_640.jpg

Contact

Informatics Forum
10 Crichton Street
Edinburgh EH8 9AB, UK

Marco Elver Github    Marco Elver LinkedIn

About

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.

Research

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.

List of publications.

Teaching Experience