|
4 | 4 | <meta charset="utf-8"> |
5 | 5 | <meta http-equiv="x-ua-compatible" content="ie=edge"> |
6 | 6 | <meta name="viewport" content="width=device-width, initial-scale=1"> |
7 | | - <title>Michalis Kokologiannakis - Home</title> |
8 | | - <link rel="stylesheet" href="./css/default.css" /> |
| 7 | + |
| 8 | + <!-- Send users to the new location. --> |
| 9 | + <title>redirect</title> |
| 10 | + <meta http-equiv="refresh" content="0;URL=https://www.mpi-sws.org/~michalis/"> |
9 | 11 | </head> |
10 | 12 | <body> |
11 | | - <div id="header"> |
12 | | - <div id="logo"> |
13 | | - <a href="./">Michalis Kokologiannakis</a> |
14 | | - </div> |
15 | | - <div id="navigation"> |
16 | | - <a href="./">Home</a> |
17 | | - <a href="./about.html">About</a> |
18 | | - <a href="./contact.html">Contact</a> |
19 | | - <a href="./publications.html">Publications</a> |
20 | | - </div> |
21 | | - </div> |
22 | | - |
23 | | - <div id="content"> |
24 | | - <img src="./images/home.png" style="float: right; margin: 10px; width: 300px" /> |
25 | | - <h1>Home</h1> |
26 | | - <h2>Welcome</h2> |
27 | | - |
28 | | -<p> |
29 | | - My name is Michalis Kokologiannakis and I am a PhD student at the |
30 | | - <a href="http://www.ntua.gr">National Technical University of Athens</a>, |
31 | | - advised by <a href="http://user.it.uu.se/~kostis">Kostis Sagonas</a>. |
32 | | -</p> |
33 | | - |
34 | | - |
35 | | -<h2>Research Interests</h2> |
36 | | - |
37 | | -<p> |
38 | | - I am broadly interested in programming languages, compilers, weak |
39 | | - memory models, and software verification. <br> |
40 | | - More specifically, I am mainly interested in advancing the state of |
41 | | - the art of testing, concurrent software verification with emphasis |
42 | | - on systems programming, and efficient algorithms for stateless model |
43 | | - checking that incorporate extensions for checking the effects of the |
44 | | - weak memory models employed by modern microprocessors. |
45 | | -</p> |
46 | | - |
47 | | -<p> |
48 | | - I am also interested in the Read-Copy-Update (RCU) synchronization |
49 | | - mechanism, its usage and applications, and RCU's implementation in |
50 | | - the Linux Kernel. |
51 | | -</p> |
52 | | - |
53 | | - </div> |
54 | | - |
55 | | - <div id="footer"> |
56 | | - Site proudly generated by |
57 | | - <a href="http://jaspervdj.be/hakyll">Hakyll</a> |
58 | | - </div> |
59 | 13 | </body> |
60 | 14 | </html> |
0 commit comments