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