I’m Ramesh Neupane, from Nepal—the land of breathtaking mountains and vibrant culture. I graduated with an MS in Computer Science from Boise State University in Boise, Idaho, in 2022. Currently, I work as a Software Engineer. My enthusiasm for technology lies in its profound ability to reshape lives. I view science and research as both a rigorous pursuit and a confrontation with the absurd—where each small, focused effort may feel insignificant yet collectively holds the potential to drive monumental change.
Senior Software Engineer
Solution Engineer
My research interests focus on creating secure, resilient frameworks that address the evolving vulnerabilities in digital systems. While cybersecurity remains central to my work, I am particularly drawn to system and network security, where I view cybersecurity as a critical line of defense in our increasingly digital society. My experience with formal methods includes techniques like symbolic execution and logic-based approaches to verify the safety and security of critical infrastructure, making systems more robust against threats.
I am also invested in software testing, where structured methodologies ensure vulnerabilities are addressed early, helping to build resilient software that meets the demands of rapid technological change. Recently, my work has extended into artificial intelligence—particularly at its intersection with security—where I explore how AI and formal reasoning can together enhance security and fairness in digital systems.
My curiosity about human dynamics further drives my interest in human-computer interaction and social computing. I am intrigued by human psychology as it relates to security, system design, and user behavior. Open to exploring new research areas that align with these themes, I am constantly looking to expand my understanding and impact across various sectors within technology and security.
Boise State University