-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
154 lines (136 loc) · 6.52 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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
<!DOCTYPE html>
<html lang="en">
<!-- START OF HEADER -->
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta name="description" content="IR's homepage">
<meta name="author" content="Itsaka Rakotonirina">
<title>Itsaka Rakotonirina's page</title>
<link rel="icon" href="img/logo.png" type="image/x-icon">
<!-- Bootstrap core CSS -->
<link href="css/bootstrap.min.css" rel="stylesheet">
<!-- Custom fonts for this template -->
<link href="https://fonts.googleapis.com/css?family=Saira+Extra+Condensed:500,700" rel="stylesheet">
<link href="https://fonts.googleapis.com/css?family=Muli:400,400i,800,800i" rel="stylesheet">
<link href="https://maxcdn.bootstrapcdn.com/font-awesome/4.4.0/css/font-awesome.min.css" rel="stylesheet">
<!-- Custom styles for this template -->
<link href="css/resume.css" rel="stylesheet">
<link href="css/styles.css" rel="stylesheet">
</head>
<body id="page-top">
<nav class="navbar navbar-expand-lg navbar-light bg-primary fixed-top" id="sideNav">
<a class="navbar-brand js-scroll-trigger" href="#page-top">
<!-- <span class="d-block d-lg-none" style="color:#fff">
Itsaka Rakotonirina
</span> -->
<span class="d-none d-lg-block">
<!-- <img class="img-fluid img-profile rounded-circle mx-auto mb-5" src="img/profile.jpg" alt=""> -->
<img src="img/profile.jpg" alt="Itsaka Rakotonirina" height="300" style="text-align:center; margin-top: 15px; margin-bottom:30px; border: 2px solid #94D9F6;">
</span>
</a>
<!-- <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarSupportedContent"
aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation">
<span class="navbar-toggler-icon"></span>
</button> -->
<div class="navbar-collapse" id="navbarSupportedContent" style="padding-right: 20%;">
<ul class="navbar-nav">
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="index.html">Home</a>
</li>
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="cv.html">CV</a>
</li>
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="projects.html">Projects</a>
</li>
<!-- <li class="nav-item">
<a class="nav-link js-scroll-trigger" href="slides.html">Presentations</a>
</li> -->
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="publications.html">Publications</a>
</li>
</ul>
</div>
<div class="collapse navbar-collapse mb-3">
<div class="container" style="margin-bottom:10px; text-align: center">
<span style="margin:3px">
<a class="a-icon" href="https://dblp.uni-trier.de/pid/223/5215.html">
<img class="nav-img my-icon" src="img/dblp.png">
</a>
</span>
<span style="margin:3px">
<a class="a-icon" href="https://github.com/irakoton">
<img class="nav-img my-icon" src="img/github.png">
</a>
</span>
<span style="margin:3px">
<a class="a-icon" href="https://gitlab.com/irakoton">
<img class="nav-img my-icon" src="img/gitlab.png">
</a>
</span>
<span style="margin:3px">
<a class="a-icon" href="mailto:[email protected]">
<img class="nav-img my-icon" src="img/email.png">
</a>
</span>
</div>
</div>
</nav>
<!-- dirty hack: skip space on mobile mode so that menu does not overlap on content -->
<span class="d-block d-lg-none">
<br><br><br><br>
<!-- skip additional spaces if navbar entries are added -->
</span>
<!-- END OF HEADER --><div class="container-fluid p-0">
<section class="resume-section p-3 p-lg-5 d-flex align-items-center" id="about">
<div class="w-100">
<h2 class="mb-5">Itsaka Rakotonirina</h2>
<p class="my-paragraph">
I am currently a post-doctoral researcher at the <a href="https://www.mpi-sp.org/">Max-Planck Institute for Security and Privacy (MPI-SP)</a> in Bochum (Germany),
under the supervision of <a href="https://gbarthe.github.io/">Gilles Barthe</a>.
We are working on cybersecurity-related topics, by applying formal methods taken from the area of logic and alike to various areas of security and cryptography.
</p>
<p class="my-paragraph">
Before that, I completed a PhD on similar topics at
<a href="https://www.inria.fr/en/centre-inria-nancy-grand-est">Inria Nancy</a> (France), under the supervision of
<a href="https://members.loria.fr/SKremer/">Steve Kremer</a> and
<a href="https://prosecco.gforge.inria.fr/personal/vcheval/">Vincent Cheval</a>.
</p>
<div class="resume-item d-flex flex-column flex-md-row justify-content-between mb-5">
<div class="resume-content">
<h3>Research Interests</h3>
<div class="columns-3 my-paragraph">
<ul>
<li>Security protocols</li>
<li>Cryptography</li>
<li>Formal methods</li>
<li>Proof automation</li>
</ul>
</div>
</div>
</div>
<div class="resume-item d-flex flex-column flex-md-row justify-content-between mb-5">
<div class="resume-content">
<h3>Contact</h3>
<div class="subheading mb-5 columns">
Max-Planck Institute for Security and Privacy<br>
Universitätstraße 140<br>
44799 Bochum (GERMANY)<br><br>
<!-- <span><i class="fa fa-phone"></i><span style="margin-left: 10px">+81-0422-59-3772</span></span><br> -->
<span><i class="fa fa-envelope"></i><span style="margin-left: 10px">[email protected]</span></span><br>
</div>
<!-- <div class="subheading mb-5">
PGP Public Key:
<a href="https://keys.mailvelope.com/pks/lookup?op=get&search=0xCD5E64EFD64514CF">
keys.mailvelope.com/pks/lookup?op=get&search=0xCD5E64EFD64514CF
</a>
</div> -->
</div>
</div>
<!-- <img src="img/logo.png" alt="logo" height="40" style="float: right;"> -->
</div>
</section>
</div>
</body>
</html>