Nabin Lopchan नविन लोप्चन

PhD Student in Computer & Information Sciences

Augusta University

My researcg areas includes programming languages, formal methods, memory saftey, type checking and program verification along with intersection of security.

Research Publications CV
Nabin Lopchan

About

I am a PhD student in Computer & Information Sciences at Augusta University. My research are centered around programming languages, formal methods, memory saftey, type checking and program verification.

My work focuses on developing techniques and tools that improve the correctness, reliability, verification and security of software systems/program.

Before starting my PhD, I worked in cybersecurity for more than 3 years. I worked as a Solutions Engineer with experience in troubleshooting, debugging in customer support operations.

Research

My research interests lie at the intersection of programming language, formal verification, memory saftey and security.

Program Verification

Techniques for formally proving that programs satisfy desired properties and specifications.

Programming Languages

Programming language design, semantics, type systems, and tools for reasoning about programs.

Software Engineering

Methods and tools for improving software reliability, maintainability, and correctness.

Memory Safety & Security

Techniques for detecting and preventing memory-related vulnerabilities in software.

Publications

2026

Title of Your Research Paper

Nabin Lopchan

Conference / Journal Name

Paper Code BibTeX
2025

Another Research Paper

Nabin Lopchan

Journal / Conference

Paper Code

Experience

2026 - Now

Graduate Research Assistant

Augusta University

Researching in the fields of programming languages, formal methods, memory saftey, type checking and program verification along with intersection of security.

2025 - 2026

Solutions Engineer

guardsix inc

I worked troubleshooting, debugging, onboarding and helping customer secure their infrastructure from active threats.

News

Aug 2026

Started my PhD in Computer & Information Sciences at Augusta University.

Mar 2025

Joined the Logpoint (now guardsix) in customer support and operations.

Curriculum Vitae

For a complete overview of my academic background, research experience, publications, and education, please see my CV.

View CV

Contact

I am always interested in discussing research, collaboration, and ideas related to programming language, formal methods, memory saftey, secuiry, software verification and more.

[email protected]

Augusta, Georgia, USA