ANU

The Australian National University, Bachelor of Advanced Computing (Honours).

Major

Systems Architecture

Advisors

Fabian MuehlboeckSteve Blackburn

Thesis

A Statically Typed Object-Oriented Language with Runtime Type-Argument Inference. Programming languages: compiler, runtime and formalization