I am a Research Associate in the School of Mathematical and Computer Sciences at Heriot-Watt University. Also, I am a visiting researcher in the Functional Programming Lab at the University of Nottingham where I spend most of my working hours these days.

My research is on compilers and programming languages. I am interested in bringing ideas from type theory and mathematics into high-performance compilers.


In the official documents, e.g. my publications, the spelling of my name is Artjoms Šinkarovs. While it is unusual to have multiple spellings of your name, here is why I do.