Ivan is a final year Masters Stduent working on software reliability, program analysis and compilers. Once upon a time, he used to make games as well.