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.
Contact
- Email: tema@pm.me
- My code is on the Github and SaC Gitlab
- I am on Facebook
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.