Ankush Desai is a Principal Scientist at Snowflake, focused on enhancing the reliability and trustworthiness of Data and AI systems through formal methods and rigorous software testing. Previously, at AWS, they led a team dedicated to developing tools for model checking and testing techniques that boost developer productivity. Ankush also played a role in the Amazon S3 Strong Consistency project and contributed to major research while earning a PhD in computer science from UC Berkeley in 2019, where their work gained recognition with the Sevin Rosen Funds Award for Innovation. Before their academic pursuits, they worked at Microsoft Research in India on formal verification of distributed systems and were a key member in developing India's first Nano-Satellite, JUGNU.
This person is not in the org chart
This person is not in any teams
This person is not in any offices