| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 31 Oct 2024 23:23:43 GMT
access-control-allow-origin: *
etag: W/"6724117f-fd3"
expires: Wed, 21 Jan 2026 00:27:41 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 2A88:2C9157:6674E:75A38:69701B1E
accept-ranges: bytes
age: 0
date: Wed, 21 Jan 2026 00:17:41 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210055-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768954661.413028,VS0,VE237
vary: Accept-Encoding
x-fastly-request-id: e8bc68babe4daf8266456fd0778183270585ec33
content-length: 1793
Artem Shinkarov - index
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.