Biography
Areas of interest:
Programming language design and implementation, type theory, compiler
optimization, (interactive and automated) theorem proving.
Courses
Principles of programming languages, compilers, data structures,
computation and deduction.
|
