-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
108 lines (85 loc) · 4.45 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
<!DOCTYPE html>
<!--
Plain-Academic by Vasilios Mavroudis
Released under the Simplified BSD License/FreeBSD (2-clause) License.
https://github.com/mavroudisv/plain-academic
-->
<html lang="en">
<head>
<title>Félix Ridoux</title>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css">
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.0/jquery.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js"></script>
<link href='https://fonts.googleapis.com/css?family=Oswald:700' rel='stylesheet' type='text/css'>
</head>
<body>
<!-- Navigation -->
<nav class="navbar navbar-inverse navbar-static-top" role="navigation">
<div class="container">
<div class="navbar-header">
<button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#bs-example-navbar-collapse-1">
<span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
</div>
<!-- Collect the nav links, forms, and other content for toggling -->
<div class="collapse navbar-collapse" id="bs-example-navbar-collapse-1">
<ul class="nav navbar-nav">
<li><a href="index.html">Home</a></li>
<li><a href="#">Projects</a></li>
<li><a href="#publications">Publications</a></li>
<li><a href="https://felixridoux.github.io/me/cv.pdf">CV</a></li>
</ul>
</div>
</div>
</nav>
<!-- Page Content -->
<div class="container">
<div class="row">
<!-- Entries Column -->
<div class="col-md-8" style="height: 100vh;">
<!-- Main Image -->
<img class="img-responsive" src="lambda.png" alt=""><br>
<div style="margin-top:3%; text-align:justify;">
<p> I am a Master student in Computer Science at École Normale Supérieure of Rennes, pursuing the Parisian Master of Research in Computer Science. My main research interest lies in formal methods for software verification. Currently, I am working on my Master's thesis at the IMDEA Software Institute on topics related to automatic cost analysis of programs by abstract interpretation. This webpage is under construction. Please look at my <a href="https://felixridoux.github.io/me/cv.pdf">CV</a> for more informations.</p>
<p> I am always happy to discuss subjects related to my work. Please do not hesitate to contact me through my email address or LinkedIn if you have any questions or propositions.</p>
</div>
</div>
<!-- Contact Info on the Sidebar -->
<div class="col-md-4">
<div style="font-family: 'Oswald', sans-serif; font-size: 32px;"><b>Félix Ridoux</b></div><br>
<p><b>felix . ridoux at ens-rennes.fr</b><br>
<p>Computer Science Department<br>
École Normale Supérieure de Rennes<br>
Rennes <br>
France<br>
</p>
</div>
<!-- Links on the Sidebar -->
<div class="col-md-4" style="margin-top:2%">
<dd><a href="https://scholar.google.com/citations?user=mZbfBEAAAAAJ&hl=es&oi=ao">Google Scholar</a></dd>
<dd><a href="https://linkedin.com/in/felix-ridoux">LinkedIn</a></dd>
</div>
<!-- Publications -->
<div class="col-md-8" style="height: 100vh;">
<h2 id="publications">Publications</h2>
<strong>Peer-reviewed</strong><br/>
<ul>
<li class="paper" words="add, your, keywords, here"><a href="https://scholar.google.com/citations?user=mZbfBEAAAAAJ&hl=es&oi=ao">Google Scholar</a></li>
</ul>
<strong>Technical Reports</strong><br/>
<ul>
<li class="paper" words="add, your, keywords, here"><a href="#">Coming soon</a></li>
</ul>
</div>
</div>
</div>
<!-- /.container -->
<!-- Other people may like it too! -->
<a style="color:#b5bec9;font-size:0.8em; float:right;" href="https://github.com/mavroudisv/plain-academic">Plain Academic</a>
</body>
</html>