Avaljot Singh (Preferred)
Avaljot Singh
PhD student, Computer Science, Department of Computer Science
Joined
January 2023
Names
Emails
****@illinois.edu (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Computer Science, Department of Computer Science (cs.illinois.edu)
2022 – 2027
Intern
Microsoft Research, Microsoft (microsoft.com)
2025 – 2025
Undergrad student
Computer Science, Indian Institute of Technology, Delhi (iitd.ac.in)
2016 – 2021
MS student
Computer Science, Indian Institute of Technology, Delhi (iitd.ac.in)
2016 – 2021
Advisors, Relations & Conflicts
Expertise
AI Agents
Present
Neural network verification
2022 – Present
Certified AI
2022 – Present
Program Verification
2022 – Present
Publications
Co-Authors
- Aditya Mishra
- Alind Khare
- Arnav Goyal
- Changming Xu
- Charith Mendis
- Chetan Bansal
- Debangshu Banerjee
- Dushyant Bharadwaj
- Gagandeep Singh
- Huan Zhang
- Isha Chaudhary
- Ishaan Goyal
- Jacob Laurel
- José Meseguer
- Kaushik Varadharajan
- Kavya Sachdeva
- Mahesh Vishwanathan
- Qiuhan Gu
- Sasa Misailovic
- Sayan Ranu
- Shaurya Gomber
- Shraddha Barke
- Shubham Ugare
- Stefanos Baziotis
- Suman Nath