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
No publications