Soorya Narayan Email & Phone Number

Sydney, NSW, AU

Sydney, New South Wales, Australia

Singapore

nuTonomy was acquired by Aptiv and then became Motional, a joint venture with Hyundai

Singapore

Worked on a 3D simulator to validate and train autonomous driving software

- Worked towards formally verifying the haskell cryptographic library, raaz, using Coq, a theorem prover- Added compile time guarantees and constraints to the code using Liquid Haskell, a refinement type checker

Chennai Area, India

• Part of the address intelligence and experience team
• Worked on internal tools to modify and interact with GAM, a structured hierarchical data store of customer addresses
• All code was reviewed and successfully pushed to production

Mwos 16

Part of the team that added Blake2 and Argon2 support for NSS, a set of libraries designed to support cross-platform development of security-enabled client and server applicationsThe project is being tracked here: https://wiki.mozilla.org/NSS/ARGON2

Haskell Summer Of Code

• Worked on Hackage, the Haskell community's central package archive of open source
• Worked primarily on tagging, reverse-dependencies, and the search algorithm
• Received passing evaluation from mentors