# Ramesh Neupane

> Sr. Software Engineer @ Visa | Troubleshooting | Agentic AI | MCP | Prompt Engineering | AIOps | Infrastructure Reliability | Formal Methods | Performance Engineering | Mechanistic Interpretability

Location: Denver Metropolitan Area, United States
Profile: https://flows.cv/ramesh

I enjoy debugging systems, finding edge-case failures, and acting as a bridge between users, products, and engineering teams.

I'm a Senior Software Engineer focused on building scalable, secure, and intelligent infrastructure powered by automation, observability, and modern AI tooling. I work across Linux systems, distributed architectures, agentic AI workflows, and operational tooling to improve reliability, security, and efficiency.

At Visa, I work on:
* Designing and deploying Kubernetes agents and MCP servers for automated incident triage using system logs, Prometheus/Grafana metrics, and ITSM systems like ServiceNow.
* Building RAG- and multi-agent-based workflows for operations diagnosis, compliance checks, and vulnerability management, integrating with Qualys and internal platforms.
* Developing automated patching and remediation pipelines using Ansible, Python, and Bash, and supporting migrations from hypervisors to OSV.
* Connecting observability platforms (Splunk, Prometheus, Grafana) with AI agents for intelligent querying, analysis, and remediation.
* Contributing to scalable agentic architectures with LangChain/LangGraph and orchestrating models such as GPT, Claude and Gemini.
* Collaborating with backend, DevOps, SRE, and security teams to debug and optimize distributed systems end-to-end.

Previously at LogPoint, I:
*Supported and debugged a Linux-based SIEM platform involving distributed log ingestion and correlation pipelines.
* Troubleshot issues across Python/Java backends and JavaScript front-end components to improve performance and reliability.
* Worked closely with developers, QA, and customers to resolve complex production issues.

Academically, my MS research at Boise State centered on the formal verification of ICS/PLC software using description-logic ontologies, UPPAAL, SMT solvers, and symbolic execution—bridging formal methods with practical distributed systems work.

With 6+ years of experience across Python, Bash, Java, C++, Linux, Kubernetes, Kafka, Docker, Ansible, FastAPI, and OpenShift, I bring a security-first, debugging-oriented mindset to infrastructure and AI engineering. I enjoy building resilient systems that improve operational visibility, reduce toil, and make complex environments safer and easier to operate.

## Work Experience
### Sr. Software Engineer @ Visa
Jan 2022 – Present | Denver, Colorado, United States
I design and deliver secure, scalable, and automated solutions that enhance reliability, security, and efficiency across Visa’s global infrastructure. My work spans full-stack development, infrastructure automation, vulnerability management, and AI-driven systems.
	•	Full-Stack Development & Automation: Built a self-service patching portal (Spring Boot + AngularJS) integrated with CI/CD, cutting internal tickets by 70%. Improved pipeline performance by 40% through multiprocessing, streaming, and structured logging. Led a migration from RDBMS to NoSQL, ensuring data integrity and performance optimization.
	•	Vulnerability Management & Compliance: Engineered agents that integrate Qualys vulnerability data with compliance policies and system requirements. Designed a framework for automated patching using Ansible, reducing manual overhead while strengthening compliance.
	•	AI & Agentic Systems: Developed MCP servers for Kubernetes and ServiceNow, along with triage agents that diagnose and remediate operational issues. Designed scalable agentic frameworks (LangChain, LangGraph) for multi-agent orchestration. Built RAG pipelines using GPT, Claude, Gemini, and LLaMA models, enabling intelligent queries across Splunk, Prometheus, and other observability platforms.
	•	Infrastructure & Security: Optimized enterprise environments with OpenShift virtualization, RHEL, Prometheus, Grafana, and Kafka. Spearheaded migration from hypervisors to OSv, improving performance and scalability. Actively pursuing RHCE certification to deepen enterprise Linux and security expertise.

Across these initiatives, my biggest strength is debugging complex systems and translating research-oriented approaches into practical, enterprise-scale solutions. I thrive at the intersection of infrastructure, AI innovation, and security, creating reliable systems that adapt to evolving challenges.

### Graduate Research Assistant @ Boise State University
Jan 2020 – Jan 2022 | Boise, Idaho Area
- A member of Cyber Lab for Industrial Control Systems (ICS)
- Area of research: formal software verification
- The research includes formalizing the computer software (especially PLC) for the verification
- Utilized Description Logic (DL) based ontology as a KB for safety and security verification of the PLC software
- Set-up up API for research applications like UPPAAL and OWL (Web Ontology Language)
- Utilized action formalization in verifying and planning the Industrial control applications
- A tutor for CS1 - Introduction to Java Programming

### Solutions Engineer @ LogPoint
Jan 2019 – Jan 2019 | Nepal
- Worked as a technical L3 support engineer and dealt with ~150 mid-large customers
- Worked as a full-stack (Flask+React) developer of an internal queue-based ticket management tool
- Drastically improved the performance of server health check application using multiprocessing
- Dealt with problem debugging related to the whole product and development of hotfixes to the problem, sometimes applying fixes on the live production environment
- Log format analysis of logs coming from a different OS, Firewalls, and IDS
- Configuration and maintenance of Active Directory Servers, Router and Switches
- One of the team members to include the product in the Gartner's Magic Quadrant
Technologies: Python, Java, C, ExtJS, Linux, ZFS

### Associate Solutions Engineer @ LogPoint
Jan 2017 – Jan 2019 | Kathmandu, Nepal

### Intern @ GrowByData
Jan 2016 – Jan 2017 | Patan, Nepal
- Worked on data migration between multiple e-commerce platforms (Magento, Shopify)
- Assisted in developing Data Migration Application
- Worked on Python Web Crawler and Scrapper


## Education
### Master of Science - MS in Computer Science
Boise State University
Jan 2020 – Jan 2022

### Bachelor's degree in Electronics and Communications Engineering
Pulchowk Engineering Campus
Jan 2012 – Jan 2017

### Higher Secondary in Science
Golden Gate International College
Jan 2010 – Jan 2012

### High School in High School Courses
Tarun Madhyamik Vidyalaya
Jan 2002 – Jan 2010


## Contact & Social
- LinkedIn: https://linkedin.com/in/codeezer

---
Source: https://flows.cv/ramesh
JSON Resume: https://flows.cv/ramesh/resume.json
Last updated: 2026-03-22