Ian Zerny

About

Software engineer at Google Aarhus. Ph.D., supervised by Olivier Danvy, in the Pro­gram­ming Languages group at the Dept. of Computer Science, Aarhus University.

• Photo

Contact

• Email:
• Phone: (+45) 6127 7797
• Office: Google Aarhus

Additional contact information.

Activities

• Defended my PhD dissertation, December 2013.
• Started as Software Engineer at Google Aarhus, June 2013.
• Handed in my PhD dissertation, June 2013.

Recent Work

• A Synthetic Operational Account of Call-by-Need Evaluation (PPDP 2013)
• A Logical Correspondence between Natural Semantics and Abstract Machines (PPDP 2013)
• On Graph Rewriting, Reduction, and Evaluation in the Presence of Cycles (Accepted by HOSC)
• Three Syntactic Theories for Combinatory Graph Reduction (Accepted by ACM TOCL)

List of publications.

Miscellany

• Dynamic ML for the win…
• Some Emacs related stuff.
• An open-source game engine: OpenEngine.
• A Scheme VM with JIT compilation in OCaml: DSVM.