-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
75 lines (64 loc) · 3.13 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
<!--
0. Do whatever you want with this file.
-->
<html>
<head>
<meta charset="utf-8"/>
<title>Home - Damien Rouhling</title>
<link href="static/style.css" type="text/css" rel="stylesheet"/>
</head>
<body>
<header>
<div id="logo">
<h1>Damien Rouhling</h1>
</div>
<nav>
<div id="bar"><ul><li class="current"><a href="index.html">Home</a></li><li><a href="research.html">Research</a></li><li><a href="teaching.html">Teaching</a></li></ul></div>
</nav>
</header>
<section>
<div style='float: left; margin-bottom: 1em; margin-right: 2.5em; margin-top: 1.7em'>
<img style='width: 256px; height: 256px;' alt='me' src='data/photoNB.jpeg' />
</div><h1 id="Presentation">Presentation</h1>
<h3 id="Situation">Situation</h3>
<p>I am currently a computer science professor in <a href='https://en.wikipedia.org/wiki/Classe_pr%C3%A9paratoire_aux_grandes_%C3%A9coles'>Classes préparatoires aux
grandes
écoles</a>
in <a href='https://lyceehugobesancon.org/LVH/'>Lycée Victor Hugo Besançon (french
webpage)</a>.</p>
<p>Before this, I was a post-doctoral fellow at <a href='https://www.inria.fr/en/centre-inria-nancy-grand-est'>Inria Nancy - Grand
Est</a>, in the
<a href='https://team.inria.fr/camus/'>CAMUS</a> team, located in Strasbourg. I was
collaborating with <a href='https://chargueraud.org/'>Arthur Charguéraud</a> to build an
interface for source-to-source certified code transformations. Our main goal was
in particular to use this interface for the optimisation of programs for PIC
simulation.</p>
<p>In the past, I was a PhD student at <a href='https://www.inria.fr/en/centre-inria-sophia-antipolis-mediterranee'>Inria Sophia Antipolis -
Méditerranée</a>,
in the <a href='https://team.inria.fr/marelle/en/'>MARELLE</a> team. I was working under
the supervision of <a href='http://www-sop.inria.fr/members/Yves.Bertot/'>Yves Bertot</a>
and <a href='https://perso.crans.org/cohen/'>Cyril Cohen</a>. I studied the formalisation
of classical analysis with the Coq proof assistant through a case study in
control theory.</p>
<p>I am also a former civil servant student of the computer science department of
the <a href='http://www.ens-lyon.fr/en/'>École Normale Supérieure de Lyon</a>. For an
overview of my education, have a look at my <a href='data/cv/cv.pdf'>C.V. (in french)</a>.</p>
<h3 id="Research-Interests">Research Interests</h3>
<p>My interests span all aspects of reasoning, especially with applications in
mathematics and software verification. These include both theoretical and
practical aspects of logic, foundations of mathematics, computer-aided
reasoning, semantics…</p>
<h3 id="Contact">Contact</h3>
<p>My preferred medium for remote communication is e-mail. You may contact me at
one of those addresses:</p>
<ul><li><p>Current (temporary?) address (preferred by my current institute):
[email protected].</p>
</li><li><p>Permanent address (preferred by me): [email protected].</p>
</li></ul>
</section>
<footer>
<a href="http://dev.isomorphis.me/stone">Stone λ-powered</a>
<p>Last modified: 2021/07/13</p>
</footer>
</body>
</html>