StaticAnalysis
forComputationalSystems.

PhD student in Computer Science at the intersection of program analysis, computational reasoning, and the philosophy of formal systems.

Portrait of Aayush Shrestha
About

Professional
Background.

I am a PhD student in Computer Science focused on static analysis, reasoning systems, and computational methods for understanding complex software behavior.

My work spans program verification, AI-generated code evaluation, and computational reasoning across modern software systems. I currently work as a Graduate Research Assistant at Washington State University and previously contributed to AI/ML security research and prompt engineering evaluation projects.

Alongside computer science research, I maintain strong interests in philosophy, psychology, cognition, and interpretations of quantum mechanics.

04
Research Roles
05
Research Areas
AI/ML
Security Research
Academic Experience

Research
& Practice.

Focused on static analysis, reasoning systems, AI-generated code evaluation, and interdisciplinary computational research spanning software systems, cognition, and formal reasoning.

Graduate Research Intern
May 2026 — Present
Los Alamos National Laboratory
Research internship focused on advanced computational systems and research methodologies.
Graduate Research Assistant
Jan 2026 — Present
Washington State University
Researching reasoning systems, static analysis, and computational methods for software understanding and program verification.
AI/ML Research Assistant
Jan 2025 — Jun 2025
University of Idaho College of Engineering
Evaluated AI-generated code vulnerabilities and benchmarked prompt engineering methodologies for secure code generation and AI system evaluation.
Teaching Assistant
Jan 2025 — May 2025
School of Electrical Engineering and Computer Science
Teaching Assistant for CS360 — Systems Programming.
Education
Washington State University Graduate School
PhD, Computer Science
2026 — 2030
Washington State University
BS, Computer Science
2021 — 2025
Aayush writing notes beside a laptop
Activities

Beyond research: community, leadership, and recognition.

01
AgAID Hackathon Winner

Won first place for developing a model to predict crop residue amounts in soil.

AgAID Institute & Washington State University · 2025

02
Boeing Research Scholarship

Research scholarship awarded through the School of Electrical Engineering and Computer Science at Washington State University.

2022

03
Nepalese Student Association

Coordinator and organizer for student community initiatives and university activities.

Washington State University

04
WSU Formula SAE

Member of the university Formula SAE engineering team.

Washington State University

Publications

Selected work in program analysis and computational reasoning.

01

Static Analysis for Scalable Software Verification

A modular framework for sound static analysis that scales to industrial codebases through compositional summarization.

ACM SIGPLAN Conference on Programming Languages
2025
02

Computational Reasoning in Distributed Systems

Examines how local reasoning techniques extend to distributed protocols while preserving correctness guarantees.

IEEE Transactions on Software Engineering
2024
03

Interpretable Program Analysis Models

Proposes a class of program analysis models whose decisions can be inspected and justified by human reviewers.

International Conference on Software Engineering
2024
Blogs

Essays and notes from the edges of research.

Research2026

Understanding Static Analysis

A grounded introduction to the core ideas, trade-offs, and surprising depth of modern static analysis.

Read essay→
Essay2026

Philosophy & Computational Thinking

On the quiet correspondence between philosophical inquiry and the discipline of writing programs that reason.

Read essay→
Notes2026

Interpretability in Complex Systems

Why interpretability is structural, not cosmetic, and what that demands from the systems we build.

Read essay→
Reflection2026

Quantum Theory and Computational Perspectives

Tracing the threads between interpretations of quantum mechanics and the metaphors of computation.

Read essay→
Contact

Get in touch.

For professional inquiries, collaborations, or research conversations, feel free to get in touch.