I am an assistant professor at the Cyber Phisical Systems group at the University of Southampton. My research is on compilers and programming languages. I am interested in bringing ideas from type theory and mathematics into high-performance compilers.

I am looking for PhD students who would be interested in working on type theory and programming languages.

Contact

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.