Ian Zerny

About

Ph.D. student, supervised by Olivier Danvy, in the Pro­gram­ming Languages group at the De­part­ment of Computer Science, Aarhus University.

• Photo

Contact

• Email:
• Phone: +1 (412) 799–4617
• Office: Turing 229

Additional contact information.

Activities

• Visiting Frank Pfenning at Carnegie Mellon School of Computer Science from October 2011.
• Lecture on Type Checking for dOvs E11.
• Attended ICFP 2011.
• Recipient of a Google European Fellowship 2011 in Programming Technology.
• Translated the dOvs Compiler from Java to OCaml.
• Attended the Oregon Summer School on Types, Semantics and Verification.
• Lecture on Standard ML for dTFP F11.

Online calendar (incomplete).

Recent Work

• A Walk in the Semantic Park (PEPM 2011).
• Three Syntactic Theories for Combinatory Graph Reduction (LOPSTR 2010).
• Defunctionalized Interpreters for Call-By-Need Evaluation (FLOPS 2010).

List of publications.

Miscellany

• Some Emacs related stuff.
• An open-source game engine: OpenEngine.
• A Scheme VM with JIT compilation in OCaml: DSVM.

designed by krukkenlund ∙ written in emacs ∙ generated with pandoc ∙ valid: xhtml, css