User:Redjamjar

''I'm a Computer Scientist based in New Zealand, with a PhD from Imperial College London. My interests are in programming languages, compilers, verification and, more generally, in graph algorithms and general algorithmics.''