Software Engineer interested in High Assurance Software Systems and Formal Methods.
Location:Australia