Registered user since Tue 14 Apr 2026
Dr. Swati Goel is a Computer Science researcher specializing in Secure Software Engineering, AI-Assisted Software Engineering, Software Verification, Cybersecurity, and Trustworthy AI. Her research focuses on making LLM-based software development more secure, reliable, and verifiable, combining AI reasoning with program analysis and formal methods. She has research and teaching experience across software security, cyber-physical systems, vulnerability assessment, and software engineering. Dr. Goel is the Organizer of PROMPTOPS 2026, co-located with ASE 2026, and has served as a tutorial presenter at ISEC 2026, where she delivered a tutorial on “Uncovering Vulnerabilities through Symbolic Execution using KLEE.” She is also actively involved in academic reviewing, research dissemination, and international workshop and conference activities.
Contributions