Julian is a PhD student at Victoria University of Wellington, New Zealand. His research interests are primarily concerned with programming language design and formal methods applied to hybrid functional object oriented languages. He is currently looking at extending the Wyvern Programming Language to provide intuitive and practical subtype decidability using type members.