Susmit Sarkar

Prof Susmit Sarkar is a Professor and Director of Research in the School of Computer Science at the University of St Andrews. He has been at St Andrews since 2013, following postdoctoral work at the University of Cambridge and a PhD from Carnegie Mellon University. He holds honorary fellowships at the University of Edinburgh and is a Fellow of the BCS and Senior Member of the ACM.

His research focuses on concurrency, low-level software, and hardware-software interfaces, with contributions to memory consistency models (ARM, IBM POWER, RISC-V), parallel programming languages (C/C++/Java), and formal verification. He has served as an invited expert for RISC-V architecture and reviewed for top conferences/journals like PLDI and POPL.

Teaching responsibilities in 2023-24 include CS3050 (Logic), CS4204 (Concurrency), and CS5031 (Software Engineering). Past teaching includes database systems and advanced programming projects. He supervises student research projects at all levels.

Key awards include BCS Fellowship (201X), ACM Senior Membership (201X), and Honorary Fellowship at Edinburgh (20XX). Research has been funded by EPSRC/ERC/ANR grants, with projects on cache coherence verification, scalable shared memory, and parallel algorithm patterns.

Publications span over 39 peer-reviewed works, including seminal papers on ARMv8 operational models, POWER memory synchronisation, and RISC-V architecture validation. Active in open-source projects like ModRef2018-MCM and community engagement through programming workshops.