Ivan Nikitin

I'm a PhD student at the University of Glasgow under the supervision of Dr Colin Perkins and Dr Ornela Dardha. My topic explores the use of formal concurrency mechanisms for network protocol design and specification. I previously interned at the Graph Database team within the Huawei Edinburgh Research Centre working on lock free, concurrent data structures for databases. I'm also a member of the Glasgow Internet Protocols Laboratory and of CoLab - the Glasgow University Concurrency Lab.