About

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.

  • Interests
  • > Cybersecurity
  • > Software Engineering
  • > Artificial Intelligence
  • > Cinema, Art & Philosophy
  • > Outdoor & Hiking
  • > Chess & Football
  • Education
  • MS in Computer Science
  • Boise State University, USA
  • B.E. in Electronics and Communication
  • IOE Pulchowk (TU), Nepal

Experience

Visa Technology and Operations

June 2022 - Present

Senior Software Engineer

  • Working as a full-stack engineer for an Infrastructure Reliability Engineering Team
  • Development of a self-service patching application portal with Java Springboot and AngularJS including CI/CD, this reduces the number of internal tickets by more than 70%
  • Proposed and implemented an enhancement to the existing data pipeline by adding multi-level logging, multi-processing, and streaming, this improved the overall latency by 40%
  • Automate the vulnerability management security patching using Ansible and Python
  • Designed automation for generating reports and analyses for upper management
  • Designed and performed a data migration from multiple databases i.e. R-SQL to NoSQL
  • A scrum master for the team in the US, and soon to be a RHCE Certified engineer
  • Technologies: SpringBoot, Python, Angular, Security Patching, Ansible, Pandas, RHEL, MSSQL

LogPoint

March 2017 - December 2019

Solution Engineer

  • Worked as an L3/L4 support engineer for ~150 mid-large-sized European and U.S.-based clients
  • Worked as a full-stack (Flask+React) developer of queue-based ticket management tools
  • Proposed and implemented Python multiprocessing on existing remote health check application, this decreased the wait time from hours to minutes, simply using multiple CPUs for network IO time
  • Dealt with problem debugging related to the whole product and development of hotfixes to the problem, sometimes applying fixes on the live environment
  • Log format analysis of logs coming from network devices such as Firewalls, Switches, and IDS
  • Developed a plugin app for cyber kill chain attack simulation, where I contributed to faking logs coming to the SIEM solutions from diverse sources, securing our position in Gartner Magic Quadrant
  • Technologies: Python, Java, C, ExtJS, Kafka, Lucene, Linux, MongoDB

Interests

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.

Experience

Graduate Research Assistant

January 2020 - May 2022

Boise State University

  • Research Student, Cyber Lab for Industrial Control Systems (ICS)
  • Led research on securing critical infrastructure, focusing on the safety and security of Programmable Logic Controller (PLC) software used in industrial control systems.
  • Utilized Description Logic (DL)-based ontology to construct a knowledge base (KB) for formal verification, ensuring the integrity and security of PLC software applications.
  • Applied Satisfiability Modulo Theories (SMT) solvers, particularly Z3, to perform verification and analyze security properties of PLC systems, helping to identify and mitigate vulnerabilities.
  • Developed advanced formal methods techniques for reasoning about system behaviors, ensuring that security policies were correctly applied and adhered to within the control systems.
  • Worked on the integration of formal verification tools with other security systems to streamline vulnerability analysis and risk management processes.
  • Designed and implemented APIs for research applications, facilitating smoother data handling and integration with external platforms to support various testing and verification workflows.
  • Conducted extensive testing of security protocols, identifying weaknesses and proposing practical solutions to improve system resilience.
  • Collaborated with interdisciplinary teams to align research with real-world industrial control system challenges, ensuring the relevance of findings to critical infrastructure security.
  • Published research findings, contributing to the development of secure, trustworthy frameworks for ICS security in academic and industry communities.

Publications

  • An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics | 14th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), Ploiesti, Romania, 2022, pp. 1-8, doi: 10.1109/ECAI54874.2022.9847508
  • Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems | Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference. ACM Other conferences. Published 2023. Accessed July 7, 2023. doi: 10.1145/3590777.3590785
  • Thesis: Ontology-Based Formal Approach for Safety and Security Verification of Industrial Control Systems Google.com. Published 2022. Accessed November 12, 2024.