Ramesh Neupane

Visa Technology and Operations

June 2022 - Present

Senior Software Engineer

• Design and deliver secure, scalable, and automated solutions that enhance reliability, security, and efficiency across Visa’s global infrastructure.
• Full-stack engineer in the Infrastructure Reliability Engineering team, developing secure and scalable solutions.
• Built a self-service patching portal using Java Spring Boot and AngularJS, integrated with CI/CD pipelines, reducing internal support tickets by 70%.
• Improved data pipeline performance by 40% through multi-level logging, multi-processing, and streaming techniques.
• Engineered agents that integrate Qualys vulnerability data with compliance policies, designing a framework for automated patching using Ansible, which reduced manual overhead while strengthening compliance.
• Developed Retrieval-Augmented Generation (RAG) pipelines using LLM APIs (GPT, LLaMA, Gemini), enabling intelligent queries across tools like AskNow and Prometheus.
• Designed scalable agentic frameworks (LangChain, LangGraph) for multi-agent orchestration, enhancing operational efficiency.
• Led a data migration project from multiple databases (RDBMS to NoSQL), ensuring data integrity and performance optimization.
• Optimized enterprise environments with OpenShift virtualization, RHEL, Prometheus, Grafana, and Kafka, spearheading migration from hypervisors to OSv for improved performance and scalability.
• Actively pursuing RHCE certification to deepen expertise in Red Hat Enterprise Linux (RHEL) and security.
• Served as Scrum Master for the US team, facilitating agile processes and improving sprint efficiency.
• My biggest strength lies in debugging complex systems and translating research-oriented approaches into practical, enterprise-scale solutions.

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

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.

• 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.

Chess is my mental playground where strategy meets intuition. Each game is a story of calculated risks, tactical brilliance, and the occasional blunder that teaches humility.

Colorado's 14ers offer the perfect escape from the digital world. There's something profound about standing above 14,000 feet, where the air is thin but the perspective is infinite. Each peak conquered is a reminder that the best solutions often come after the steepest climbs.

A collection of moments that remind me why life is beautiful - from summit sunrises to chess tournament victories, from coding breakthroughs to quiet mountain reflections.