-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
executable file
·146 lines (124 loc) · 6.65 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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>David Pichardie - Home page</title>
<link href="style.css" rel="stylesheet" type="text/css" />
</head>
<body>
<a name="top" id="top"></a>
<center>
<div id="header">
<h1>David Pichardie</h1>
<h2>Home</h2>
</div>
<div id="content">
<div id="sidebar">
<div class="submenu">
<h1>Menu</h1>
<a href="index.html">Home</a>
<a href="research.html">Research</a>
<a href="publi.html">Publications</a>
<a href="teaching.html">Teaching</a>
</div>
<div class="submenu">
<h1>Other links</h1>
<a href="http://scholar.google.com/citations?user=pFAWVGIAAAAJ">Google Scholar profile</a>
<a href="http://www.informatik.uni-trier.de/~ley/pers/hd/p/Pichardie:David.html">DBLP entry</a>
</div>
</div>
<div id="mainbar">
<h1>About me</h1>
<p>
<br/>
I am a researcher in the Meta company in Paris. I'm in sabbatical leave from my position of professor of Computer Science at
<a href="http://www.ens-rennes.fr/">ENS Rennes</a> but I still hold a part-time teaching position there.
<br/>
<a href="img/david_2018.jpg"><img width="180" src="img/david_zoom_2018.jpg" alt="Mugshot" class="articleimg" /></a>
<br/>
I received a Ph.D. in Computer Science from the University of Rennes,
France, in 2005, and a <i>Habilitation à diriger les recherches</i> in
Computer Science from the ENS Cachan, France, in 2012. I joined
ENS Cachan in September 2013 as full professor (in 2014, the brittany extension of ENS Cachan
has becomed ENS Rennes). Between 2007 and 2013, I was a
full research at
INRIA Rennes research center. Earlier, I was
holding a postdoc position at INRIA Sophia-Antipolis under the
supervision of Gilles Barthe. In the 2011-13 academic years, I took
a sabbatical and visited Jan Vitek's group at Purdue University, Indiana, USA, during the first year,
and then Greg Morrisett's group at Harvard University, Cambridge, USA, during the second year.
From 2018 to 2021, my research has been funded by an ERC Consolidator Grant.
<br/>
My research interests include formal methods, programming languages, program verification, software, and system security.
I am a long time happy user of the <a target="_top" href="http://coq.inria.fr/coq-eng.html">Coq</a> proof assistant
and the theory of <a target="_top" href="http://www.di.ens.fr/~cousot/">Abstract interpretation</a>.
I have been conducting several researches about the verified C compiler <a href="http://compcert.inria.fr">CompCert</a> in
a recent past.
</p>
<br/>
<h1 id="contact">Contact</h1>
<table><tr><td>
<b>E-mail</b></td><td>:</td><td> david[dot]pichardie[at]ens-rennes[dot]fr
</td></tr></table>
<h1>Activities</h1>
<h2>Program committees</h2>
<ul>
<li><a href="https://etaps.org/2025/conferences/esop/">ESOP 2025</a> (PC),
<a href="https://2025.splashcon.org/track/OOPSLA">OOPSLA 2025</a> (PC)</li>
<li><a href="https://popl23.sigplan.org">POPL 2023</a> (PC)</li>
<li><a href="https://popl22.sigplan.org/home/prisc-2022">PriSC 2022</a> (PC)</li>
<li><a href="https://conf.researchr.org/home/sas-2020">SAS 2020</a> (co-chair)</li>
<li><a href="https://cc-conference.github.io/18/">CC 2018</a> (PC), <a href="http://avocs18.irisa.fr">AVoCS 2018</a> (co-chair)</li>
<li><a href="https://www.ntnu.edu/esorics2017">ESORICS 2017</a> (PC), <a href="http://www.etaps.org/index.php/2017/esop">ESOP 2017</a> (PC), <a href="http://conf.researchr.org/home/CC-2017">CC 2017</a> (PC)</li>
<li><a href="http://popl.mpi-sws.org/2015/">POPL 2015</a> (PC)</li>
<li><a href="http://www.etaps.org">ESOP 2014</a> (PC), <a href="http://vsl2014.at/floc-ws/">FLoC 2014</a> (ITP workshop chair), <a href="http://www.cs.uwyo.edu/~ruben/itp-2014/">ITP 2014</a> (PC)</li>
<li><a href="http://pldi2013.ucombinator.org">PLDI 2013</a> (ERC),
<a href="http://costa.ls.fi.upm.es/bytecode13/">BYTECODE 2013</a> (PC),
<a href="http://itp2013.inria.fr">ITP 2013</a> (co-chair),
<a href="http://www.cs.ru.nl/pxtp13/">PxTP 2013</a> (PC),
<a href="http://coq.inria.fr/coq-workshop/2013">Coq Workshop 2013</a> (PC)</li>
<li><a href="http://ifm.isti.cnr.it/">IFM 2012</a> (PC),
<a href="http://itp2012.cs.princeton.edu/">ITP 2012</a> (PC),
<a href="http://pxtp2012.inria.fr">PxTP 2012</a> (co-chair),
<a href="http://baldur.iti.kit.edu/SVARM-VERIFY-2012/index.html">SVARM & VERIFY 2012</a> (PC)
</li>
<li><a href="http://jfla.inria.fr/2011/">JFLA 2011</a> (PC),
<a href="http://software.imdea.org/~pierreganty/bytecode2011/">BYTECODE 2011</a> (PC),
<a href="http://pxtp2011.loria.fr/">PxTP 2011</a> (PC),
<a href="http://www.lix.polytechnique.fr/~lengrand/Events/PSATTT11/">PSATTT 2011</a> (PC),
<a href="http://foveoos2011.cost-ic0701.org/">FoVeOOS 2011</a> (PC)
</li>
<li><a href="http://bytecode2010.inria.fr">BYTECODE 2010</a> (chair),
<a href="http://www.floc-conference.org/ITP.html">ITP 2010</a> (PC),
<a href="http://www.mais.informatik.tu-darmstadt.de/verify2010/">VERIFY 2010</a> (PC),
<a href="http://ifm2010.loria.fr/">IFM 2010</a> (PC)
</li>
<li><a href="http://www.clip.dia.fi.upm.es/Conferences/BYTECODE09/home.php">BYTECODE 2009</a> (PC), <a href="http://ti.arc.nasa.gov/event/pcc09/">PCC 2009</a> (PC)</li>
<li><a href="http://www.ru.is/nordsec2007/">NordSec'07</a> (PC)</li>
</ul>
<h2>Lecturing</h2>
<ul>
<li><a href="https://www.lri.fr/~marche/DigiCosmeSchool/">DigiCosme Spring School</a> April 2013.</li>
<li>University courses: I teach static analysis (2006-2015) in
the <a href="http://www.irisa.fr/master/">Master research</a> of
University Rennes 1, Formal methods for software engineering
(2007-2010)
at <a href="http://www.insa-rennes.fr/?LangueID=2">INSA</a>
engineering school and Algorithms (2010) and Logic (2008-2009)
at <a href="http://www.ens-cachan.fr/version-anglaise/">ENS
Cachan, Brittany extension</a>.
<li><a href="http://www.sti.uniurb.it/events/fosad09/">FOSAD</a> Summer School August, 2009</li>
<li>Tutorial: Mobility, Ubiquity, and Security at <a href="http://www.di.uminho.pt/etaps07/">ETAPS'07</a></li>
<li>French summer school: <a href="http://ejcp2007.irisa.fr">EJCP'07</a> </li>
<li><a href="http://typessummerschool07.cs.unibo.it/">Types Summer School</a> August 19-31, 2007</li>
</ul>
<p> </p>
</div>
</div>
<div id="footer">
Page designed by <a href="http://www.jameskoster.co.uk">James Koster</a>
via <a href="http://www.oswd.org/">OSWD</a> and shamefully stolen on <a href="http://pauillac.inria.fr/~xleroy/">Xavier Leroy's homepage</a>.
</div>
</center>
</body>
</html>