-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathteaching.html
executable file
·148 lines (110 loc) · 3.54 KB
/
teaching.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
<!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>Teaching</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>
<div id="mainbar">
<h1>Current</h1>
<h1>Past</h1>
<img class=articleimg src=img/fr.gif>
<h2>Static Analysis for compiler optimisations</h2>
<p>
Course given at ENS Rennes.
<a href="teaching/M1/AST">[More...]</a>
</p>
<img class=articleimg src=img/fr.gif>
<h2>Graph Algorithms</h2>
<p>
Course given at ESIR.
<a href="teaching/esir/graph/">[More...]</a>
</p>
<img class=articleimg src=img/fr.gif>
<h2>Algorithmic</h2>
<p>
Course given at ENS Rennes.
<a href="teaching/L3/ALGO">[More...]</a>
</p>
<h2>Semantics and program analysis</h2>
<p>
Course given in the <a href="http://www.irisa.fr/master/index_en.htm">Research Master of Rennes</a> on
dataflow analysis and abstract interpretation.
<a href="../teaching/PAS">[More...]</a>
</p>
<h2>Software Security</h2>
<p>
Course given in the <a href="http://www.irisa.fr/master/index_en.htm">Research Master of Rennes</a> on
software security (information flow type systems, code obfuscation).
<a href="../teaching/SDL">[More...]</a>
</p>
<h2>DigiCosme Spring School 2013</h2>
<p>
Course given in <a href="https://www.lri.fr/~marche/DigiCosmeSchool/">DigiCosme Spring School</a>
about <i>Building Verified Program Analyzers in Coq: a Tutorial</i>. <a href="teaching/digicosme13/index.html">[More...]</a>
</p>
<h2>FOSAD Summer School 2009</h2>
<p>
Course given in <a href="http://www.sti.uniurb.it/events/fosad09/">FOSAD Summer School 2009</a>
about Certified Static Analysis.
<a href="http://www.irisa.fr/celtique/pichardie/fosad09/">[More...]</a>
</p>
<img class=articleimg src=img/fr.gif>
<h2>Logic and Computability</h2>
<p>
Course given at the Brittany extension of ENS Cachan.
<a href="teaching/L3/LOG">[More...]</a>
</p>
<h2>Types Summer School 2007</h2>
<p>
Course given in <a href="http://typessummerschool07.cs.unibo.it/">Types Summer School 2007</a>
about Proof Carrying Code.
<a href="http://typessummerschool07.cs.unibo.it/">[More...]</a>
</p>
<img class=articleimg src=img/fr.gif>
<h2>French summer school: EJCP'07</h2>
<p>
Course given in the french summer school <a href="http://ejcp2007.irisa.fr">EJCP'07</a>
about the Coq proof
assistant and abstract interpretation.
<a href="teaching/ejcp2007">[More...]</a>
</p>
<img class=articleimg src=img/fr.gif>
<h2>Deductive Verification Methods</h2>
<p>
Course given in the Research Master of Rennes about the Coq proof
assistant and some fundamental notion in deductive techniques.
<a href="teaching/M2/MDV">[More...]</a>
</p>
<img class=articleimg src=img/fr.gif>
<h2>A Short Emacs Tutorial</h2>
<p>A quick introduction to Emacs.
<a href="teaching/Emacs/emacs.html">[More...]</a>
</p>
<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>