87 (2004, ENS Cachan, France; now in the PPS group in Paris) |
87 (2004, ENS Cachan, France; now in the PPS group in Paris) |
88 Induction Principles for Alpha-Equated Lambda-Terms |
88 Induction Principles for Alpha-Equated Lambda-Terms |
89 (the paper coming out of this work was presented at CADE)</li> |
89 (the paper coming out of this work was presented at CADE)</li> |
90 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
90 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
91 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li> |
91 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li> |
92 <li>Parminder Sandhu (2011-2012, King's) Parsing using Derivatives</li> |
92 <li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li> |
93 </ul> |
93 <li>Darius Hodei (2011-2012, King's) A Compiler for System F</li> |
94 |
94 <li>Jian Jiang (2011-2012, King's) Suffix Array Sorting</li> |
|
95 <li>Adnan Noureddine (2011-2012, King's) Equivalence Checking of Regular Expressions</li> |
|
96 </ul> |
|
97 |
|
98 </TD> |
|
99 </TR> |
|
100 |
|
101 <TR> |
|
102 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
|
103 <H3>2012-2013</H3> |
|
104 |
|
105 <ul> |
|
106 <li>Automata and Formal Languages course |
|
107 </ul> |
95 </TD> |
108 </TD> |
96 </TR> |
109 </TR> |
97 |
110 |
98 <TR> |
111 <TR> |
99 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
112 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
100 <H3>2011-2012</H3> |
113 <H3>2011-2012</H3> |
101 |
114 |
102 <p><B>Autumn</B> |
115 <p><B>Autumn</B> |
103 <ul> |
116 <ul> |
104 <li>Course on Access Control and Privacy Policies (at King's; original course by Steve Barker) |
117 <li>Course on Access Control and Privacy Policies (at King's; original course by Steve Barker) |
|
118 </ul> |
|
119 <p><B>Spring</B> |
|
120 <ul> |
|
121 <li>Help Steffen Zschaler with the Programming Application course; I |
|
122 am resposible for the exercises and the Scala part |
105 </ul> |
123 </ul> |
106 </TD> |
124 </TD> |
107 </TR> |
125 </TR> |
108 |
126 |
109 |
127 |