-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
29 lines (29 loc) · 1.26 KB
/
index.html
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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="./css/main_theme.css">
<link rel="icon" type="image/png" href="./images/favicon.ico">
<title>Peter Hanukaev</title>
</head>
<body>
<nav>
<ul>
<li><a href="index.html">About Me</a></li><li><a href="vita.html">CV</a></li>
</ul>
</nav>
<p>
<img src="images/peter_hanukaev_2021-11.jpg"
style="float:right; width:22%; margin:0 0 0 1.5em;"
title="Picture of me" />
</p>
<h2 id="peter-hanukaev">Peter Hanukaev</h2>
<h3 id="about-me">About Me</h3>
<p>Welcome! I’m a PhD student in computer science at <a href="https://augusta.edu">Augusta University</a> working on the <a href="https://granule-project.github.io">Granule Project</a>. My advisor is <a href="https://metatheorem.org">Harley Eades</a>. I am interested in category theory and type theory, specifically in linear, graded and dependent type theories as well as categorical semantics.</p>
<hr />
<h3 id="contact">Contact</h3>
<p>email: <code>phanukaev(at)augusta(dot)edu</code><br />
github: <a href="https://github.com/phanukaev">phanukaev</a></p>
</body>
</html>