SIGCSE TS 2026 (series) / Ayush Pandey

Registered user since Fri 8 Mar 2024
Name:Ayush Pandey
Bio:
Ayush Pandey is interested in research on formal methods, computational modeling, and AI for the design of large-scale physical systems. Over the past few years, his research has focused on the development of robustness metrics and new inference tools for biological systems. He is also actively extending his research on computational tools to build scalable and open-source educational technologies that make classroom learning more interactive and engaging. As a faculty member at UC Merced School of Engineering, he is leading the pedagogy and curriculum design effort for the new Electrical Engineering department.
Country:United States
Affiliation:University of California, Merced
Personal website: https://ayush-pandey.github.io/
X (Twitter): https://x.com/ayush9pandey
GitHub: https://github.com/ayush9pandey
Research interests:formal methods, artificial intelligence, engineering education
Contributions
2026
Using general profile