Ashish Tiwari
Ashish Tiwari
Principal Researcher, Microsoft
Joined
July 2019
Names
Emails
****@gmail.com (Confirmed)
****@microsoft.com (Confirmed)
****@microsoft.com (Confirmed)
Personal Links
Career & Education History
Principal Researcher
Microsoft (microsoft.com)
2017 – Present
Staff Scientist
Computer Science Lab, SRI International (sri.com)
2000 – 2017
Advisors, Relations & Conflicts
Expertise
Formal Methods
Present
Symbolic Computation
Present
Programming Languages
Present
Publications
Co-Authors
- Aayush Kumar
- Abhishek Udupa
- Aditya Kanade
- Aditya Zutshi
- Adrià Gascón
- Alan Leung
- Alessandro Abate
- Alessandro Cimatti
- Alex Polozov
- Alexander Glennon Shearer
- Alexandra Meliou
- Ameya Ketkar
- Ananya Singha
- Anders Miltner
- Andreas Brandstätter
- Anirudh Khatry
- Anjali Singh
- Ankur Taly
- Ankush Desai
- Anna Fariha
- Anna Lukina
- Arjun Radhakrishna
- Austin Z. Henley
- Avik Dutta
- Avishree Khare