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
- 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.