-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
86 lines (71 loc) · 2.39 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
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
<!DOCTYPE html>
<html>
<head>
<!-- import jQuery source files -->
<script src="http://code.jquery.com/jquery-latest.min.js"></script>
<!-- import CSS files -->
<link rel="stylesheet" href="/css/files.css">
<link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Material+Symbols+Outlined:opsz,wght,FILL,[email protected],100..700,0..1,-50..200" />
<!-- import Javascript files -->
<script src="/javascript/theme-picker.js"></script>
<title>Pedro Ângelo</title>
</head>
<body class="default-theme">
<header>
<div class="inner-header">
<a href="/" id="header-logo">Pedro Ângelo</a>
<nav class="navbar">
<div class="dropdown">
<a href="/pages/about-me">about me</a>
<nav class="dropdown-content">
<a href="/pages/about-me/curriculum-vitae">curriculum vitae</a>
</nav>
</div>
<a href="/pages/research">research</a>
<a href="/pages/teaching">teaching</a>
<a href="/pages/contact">contact</a>
</nav>
<div id="theme-picker">
<button class="theme-button">
<span class="theme-icon material-symbols-outlined">brightness_6</span>
</button>
<div class="theme-options">
<button class="pick-theme pick-default" onclick="switchToTheme('default')">
<span class="theme-icon material-symbols-outlined">brightness_6</span>
default
</button>
<button class="pick-theme pick-light" onclick="switchToTheme('light')">
<span class="theme-icon material-symbols-outlined">brightness_high</span>
light
</button>
<button class="pick-theme pick-dark" onclick="switchToTheme('dark')">
<span class="theme-icon material-symbols-outlined">brightness_4</span>
dark
</button>
</div>
</div>
</div>
</header>
<main>
<img src="/resources/images/photo.jpg" width="200" height="200">
<h1>Pedro Ângelo</h1>
<h3>Short Bio</h3>
<p>
I'm a computer science PhD student at Faculdade de Ciências da Universidade do Porto, under the supervision of <a href="https://sigarra.up.pt/fcup/pt/func_geral.formview?p_codigo=238703" target="_blank">Prof. Dr. Mário Florido</a>.
Having started in September of 2018, my PhD topic is about program verification using gradual typing and intersection types.
</p>
<p>
I was awarded my bachelor and master degree in Network and Information Systems Engineering by Faculdade de Ciência da Universidade do Porto in 2017
</p>
<h3>Research Interests</h3>
<p>
My interests lie in the study of lambda calculus and types.
</p>
</main>
<script>
// initialization scripts
// initialize theme
initializeTheme();
</script>
</body>
</html>