Sangam Shrestha – Software Engineer Portfolio

About

MS in CS @ East Tennessee State University (GPA 3.97)

I have completed my Master in Computer Science specializing at Software Engineering from East Tennessee State University. I also have worked as a software engineer with 4+ years of industry experience. My research focuses on developing scalable verification frameworks for ensuring the correctness, safety, and performance of AI/LLM-generated code through formal methods, program analysis, and compiler optimization. I conduct applied research on reliable tracking infrastructure, investigating fault-tolerant communication and offline synchronization. Alongside my research, I maintain active industry engagement, having developed production systems adopted by 80+ schools, architected Java-based ERP microservices, and spearheaded multilingual frontends expanding platform userbases by 75%. I specialize in combining formal reasoning, program synthesis, and machine learning to solve complex software engineering challenges.

Research: Formal methods & AI code verification

99.9% uptime across low‑bandwidth regions

Researched with peer collaboration

Raised class averages C- to B as GTA

Skills

Professional Experience

Research and Development Engineer

East Tennessee State University

Johnson City, TN

June 2025 – Present

Reliable Tracking Infrastructure Research

Conducting applied research on reliable tracking infrastructure for the College of Nursing, combining software engineering with field safety constraints. Investigating methods for fault-tolerant communication and offline synchronization, bridging practical systems design with formal reliability guarantees. Collaborating with faculty and graduate students to prototype research software for publication.

Responsibilities

Conducting applied research on reliable tracking infrastructure for the College of Nursing, combining software engineering with field safety constraints.
Investigating methods for fault-tolerant communication and offline synchronization, bridging practical systems design with formal reliability guarantees.
Collaborating with faculty and graduate students to prototype research software for publication.

Technological Environment

Research Software Development, Technical Writing, Publications

Full Stack Engineer

ThinkRound Inc.

San Francisco, CA

October 2025 – Present

CMS Modernization Initiative

Translating legacy CMS into a Next.js-based modular architecture, integrating real-time data and AI interfaces for education research content. Contributing to UX and system evaluation studies for accessibility and performance.

Responsibilities

Translating legacy CMS into a Next.js-based modular architecture with modern web development practices.
Integrating real-time data and AI interfaces for education research content.
Contributing to UX and system evaluation studies for accessibility and performance improvements.
Working with cross-functional teams to deliver scalable and maintainable solutions.

Technological Environment

Next.js, React, JavaScript, TypeScript, AI Interfaces, UX Research, Accessibility

Graduate Teaching Assistant

East Tennessee State University

Johnson City, TN

Aug 2023 – May 2025

Undergraduate Programming & Web Development Instruction

Served as a teaching assistant for foundational and advanced computer science courses, supporting over 100 undergraduate students. Delivered lab sessions, mentored students through personalized academic support, and contributed to curriculum development with a focus on real-world coding practices and career readiness.

Responsibilities

Instructed students in C#, .NET Core, JavaScript, and web development fundamentals through hands-on labs and live demos.
Facilitated weekly lab sessions and guided students through project-based learning, increasing overall engagement and retention.
Conducted one-on-one code reviews and provided structured feedback to improve student programming proficiency.
Authored reusable code samples, slide decks, and documentation for core concepts such as MVC architecture, version control, and debugging.
Mentored and onboarded 3 new teaching assistants, promoting consistency in instructional support across multiple sections.
Enhanced student grades from C- to B by delivering lab-based learning and personalized coaching.
Supported grading, project evaluation, and academic consultations in collaboration with faculty instructors.

Technological Environment

C#, .NET Core, JavaScript, HTML, CSS, Git, Visual Studio, MVC Pattern, Debugging, Microsoft Office, Academic Mentorship, Agile Teaching Methods

Software Engineer

BMP Infology Pvt. Ltd.

Kathmandu, Nepal

Nov 2019 – Jun 2023

Real Estate ERP System

Collaborated with a team to build a cross-platform ERP solution to manage real estate operations, including property listings, transactions, and user roles. Led the full-stack development process from backend APIs to a responsive Angular-based UI. Migrated on-premise infrastructure to AWS, reduced operational costs, and completed multilingual features to expand product usability across global clients. Introduced modular architecture and API optimizations that significantly improved system performance and user experience.

Responsibilities

Engineered backend microservices in Java using Spring Boot and Hibernate for property management and transaction processing modules.
Increased optimized SQL queries for high-traffic endpoints, reducing data retrieval time from 15+ seconds to under 3 seconds.
Built a responsive Angular UI with Material Design and integrated multilingual support (English, Chinese, Japanese) using Angular i18n features.
Transformed monolithic architecture into microservices and executed AWS migration, cutting server expenses by 25%.
Deployed Dockerized services using Docker Compose for staging and production environments.
Created and maintained REST APIs for listing creation, transaction tracking, and user role assignment.
Contributed cross-functional code reviews and testing rituals in Agile sprints, decreasing critical defects by 30% quarter-over-quarter.
Implemented JWT-based authentication and role-based access control for enhanced data security.
Maintained over 1,000 active property listings and supported 500+ monthly transactions without system downtime.
Integrated log monitoring and custom alerts using AWS CloudWatch, improving uptime by 25% through early detection of critical issues.

Technological Environment

Java, Spring Boot, Hibernate, REST APIs, Angular, Material Design, TypeScript, MySQL, AWS (EC2, S3, RDS, CloudWatch), Docker, Docker Compose, JWT, SQL, Agile, Git, GitHub

Featured Projects

View all on GitHub

Awards & Activities

Research Collaborations & Opportunities

I'm seeking Ph.D. opportunities in Computer Science focusing on programming languages, formal methods, and verification of AI/LLM-generated code. I'm open to research collaborations, internships, and graduate research positions. Let's discuss how we can work together.

Discuss Research

Email: [email protected] | Phone: +1 (423) 672‑8789