redjamjar
535
reputation
2
11
Author of the Whiley programming language (http://whiley.org). Senior Lecturer in Computer Science at Victoria University of Wellington, New Zealand.