Avaljot Singh

PhD student, Computer Science, Department of Computer Science

  • Joined January 2023

Names

Avaljot Singh (Preferred)

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

PhD Advisor
2022 – Present
 
PhD Advisor
2022 – Present
 

Expertise

AI Agents
Present
 
Neural network verification
2022 – Present
 
Certified AI
2022 – Present
 
Program Verification
2022 – Present