Ivan Nikitin

I am currently with the Graph Database team within the Huawei Edinburgh Research Centre working on concurrent data structures for databases. My areas of interest include systems programming, network protocols and usable formal methods. I finished my BSc (Hons) in Computing Science at the University of Glasgow. I'm a member of CoLab - the Glasgow University Concurrency Lab. I will be starting my PhD at the University of Glasgow in October 2022 under the supervision of Dr Colin Perkins and Dr Ornela Dardha.

Works