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