ashinkarov.github.com/index.html at master · ashinkarov/ashinkarov.github.com · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
<!doctype html>
<html lang="en">
    <head>
        <meta charset="utf-8">
        <meta http-equiv="x-ua-compatible" content="ie=edge">
        <meta name="viewport" content="width=device-width, initial-scale=1">
        <title>Artem Shinkarov - index</title>
        <link rel="stylesheet" href="./css/notosans.css" />
        <link rel="stylesheet" href="./css/merriweather.css" />
        <link rel="stylesheet" href="./css/sakura.css" />
        <link rel="stylesheet" href="./css/tema.css" />
    </head>
    <script>
      function visibilityToggle(id) {
         var x = document.getElementById(id);
         //alert("display of " + id + " = " + x.style.display)
         if (x.style.display === "none") {
           x.style.display = "block";
         } else {
           x.style.display = "none";
         }
      }
    </script>
    <body>
        <header>
            <div class="logo">
                <a href="./">Artem Shinkarov</a>
            </div>
            <nav>
                <a href="./">About</a>
                <a href="./publications.html">Publications</a>
                <a href="./archive.html">Posts</a>
                <a href="./links.html">Links</a>
            </nav>
        </header>
        <hr style="border:1px solid #e4e4e4;" />
        <main role="main">
            <p>I am an assistant professor at the
<a href="https://www.southampton.ac.uk/research/groups/cyber-physical-systems">Cyber Phisical Systems</a>
group at the <a href="https://www.southampton.ac.uk/">University of Southampton</a>.
My research is on compilers and programming languages. I
am interested in bringing ideas from type theory and mathematics into
high-performance compilers.</p>
<p>I am <em>looking for PhD students</em> who would be interested in working on type theory
and programming languages.</p>
<h3 id="contact">Contact</h3>
<ul>
<li>Email: <a href="mailto:tema@pm.me">tema@pm.me</a></li>
<li>My code is on the <a href="https://github.com/ashinkarov/">Github</a> and <a href="https://gitlab.sac-home.org/public">SaC Gitlab</a></li>
<li>I am on <a href="https://www.facebook.com/ashinkarov">Facebook</a></li>
</ul>
<p>In the official documents, e.g. my publications, the spelling of my name is <em>Artjoms Šinkarovs</em>.
While it is unusual to have multiple spellings of your name, <a href="./name.html">here is why I do</a>.</p>
<!--I am a Research Associate in the
[School of Mathematical and Computer Sciences](http://www.macs.hw.ac.uk/)
at [Heriot-Watt University](https://www.hw.ac.uk/).  Also, I am a visiting researcher
in the [Functional Programming Lab](https://www.nottingham.ac.uk/research/groups/fp-lab/)
at the [University of Nottingham](https://www.nottingham.ac.uk/) where I
spend most of my working hours these days. -->
<!--
My research focuses on high performance compilers for heterogeneous architectures.
Specifically, I am interested in SIMD style vectorisation of high-level
languages.

## Some heading 2

During my research I was actively involved in [SaC](http://www.sac-home.org)
and [GNU GCC](http://gcc.gnu.org) development; I am still an active contributor
in both projects.  I have a strong interest in high performance compilers,
runtime systems, type systems, etc.

Details of my work gets available in the publication section as soon as it gets
available.  If you have similar interests or have some suggestions regarding any
project I am involved, please do contact me.

### Teaching
During the last three years I was participating in the various courses at the
University of Hertfordshire and in the Heriot-Watt University.  Here is a page
that summarises the courses that I did.

### Other interests
Besides my main research focus I do enjoy well designed and well written
software.  I do participate in a number of open-source projects fixing various
bugs and implementing missing features.  I also have a number of programs under
my github account which I find useful.

Non-technical interests include: cycling/hiking, jazz music, reading.
-->
        </main>
    </body>
</html>