138 |
138 |
139 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, |
139 <B>Research Interests</B> theorem provers, verification, programming languages, compilers, |
140 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
140 algorithms, proof theory, type systems, concurrency, lambda calculus, unification, |
141 regular expressions, computability, complexity, functional and logic programming. |
141 regular expressions, computability, complexity, functional and logic programming. |
142 <P> |
142 <P> |
|
143 |
|
144 <B>Teaching</B> I usually enjoy teaching. My students nominated me for the Teaching Excellence Award in |
|
145 2012 and 2015. In 2014 I received both prizes for Best UG Project Supervisor and for Best |
|
146 MSc Project Supervisor in the NMS Faculty.<P> |
143 |
147 |
144 <B>Conferences</B> |
148 <B>Conferences</B> |
145 UNIF'06 (member of PC), |
149 UNIF'06 (member of PC), |
146 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
150 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
147 <A HREF="http://isabelle.in.tum.de/nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), |
151 <A HREF="http://isabelle.in.tum.de/nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), |