Senior Software Engineer in Google's Operations Research team; PhD in symbolic AI from Melbourne Uni

Interested in operations research, optimisation, artificial intelligence, non-deterministic programming languages, and distributed programming