Hi, my name is

Viet

I build things.

A constant learner and a technology enthusiast. I love building simulations, safe softwares, and IoT hardware trinkets. I also tend to break things.

Resume

About Me

I am an Early Career Computer Scientist/Software Engineer with a passion for Simulations and Automation. I have backgrounds in Computer Science and Applied Mathematics, and I have a strong interest in the intersection of Math and Sciences. I am currently working as a Research Engineer at Carboncopies org. Remote, USA. I am currently building personal projects that will teach me to become a 10x engineer (hopefully). In my free time, I enjoy cooking, grinding PoE2, Here are a few technologies I've been working with:

React
Node/Bun
TypeScript/JavaScript
Go
Python
Next.js
Express/Django
nginx
MySql/Postgres/SQLite
MongoDB/Supabase
Docker
Terraform
Ansible
Grafana
Prometheus

Experience

Carboncopies
University of Dayton
Augustana College

Complex Systems Research Engineer - Carboncopies

July 2025 - present

I am currently working as a Research Engineer at Carboncopies Remote, USA. Currently working on a project that will be used to emulate single biophysical brain neuron and networks of neurons using BrainGenix.

Research Assistant & Teaching Assistant - University of Dayton

Aug 2023 - Aug 2025

I studied and was funded as a Research Assistant for The Department of Computer Science’s Reliable Autonomous Lab in developing Formal Verification Frameworks in Rocq Proof Assistant for verifying simulated theoretical Softwares and Networking. I was a co-author in a Research Paper published to KSE2024 focused on reducing model bias with Reinforcement Learning with white-noise injections. I also helped undergraduate students as a Lab Assistant for Intro to Computer Science, and I was a Project Mentor for an infrastructure collision detection research project using Jetson Nano with CUDA and Python.

Research Assistant & Peer Tutor - Augustana College

Aug 2020 - May 2023

I participated in the college’s funded Independent Research (Beling Scholar) during the Summer and presented my research at Illinois Mathematics Association of America (MAA) on the topic of deriving and calculating the elliptic integral of a non-linear system of a swinging pendulum. I worked part-time as a Peer Tutor for the department of Computer Science & Mathematics to provide 1-on-1 study sessions for students in Data Structures & Algorithms, Intro to Statistics, Math Modelling, Differential Equations, Discrete Math, & Calculus 1-3, and was a drop-in tutor for Computer Science & Mathematics for over 300+ students over the 3 year period.

Education

2023 - 2025

Master of Computer Science

University of Dayton, Dayton, OH

I developed a novel Research Framework on Formal Verification using Rocq Proof Assistant for Softwares and Systems. I Published a paper in Reinforcement Learning and reducing model bias even with impostor data injections. Extracurricular Activities

GDSC.
ACM.

2019 - 2023

Bachelor of Science in Computer Science & Applied Mathematics (Dual Degree)

Augustana College

I actively participated in Applied Mathematics Conferences.

Part of Computer Science & Mathematics Honor Societies.
GDSC Event Chair.

What I've been working on recently

Proxmox Prometheus Grafana Terraform Ansible WireGuard Docker Nginx Bash

Multi-VM Homelab with Monitoring

I Architected multi-VM infrastructure managing 15+ devices with 99.5% uptime through automated health monitoring, Prometheus metrics, and systematic capacity planning. Deployed Grafana dashboards for real-time monitoring, reducing MTTR by 50% through automated alerting on system hardware and software anomalies.

Go IEEE 802.3 L2 Networking Concurrency Performance Testing

Software-Defined Ethernet Switch

Engineered Layer 2 Ethernet switch in Go implementing IEEE 802.3 with zero-deadlock concurrent design, achieving 99%+ packet reliability through systematic edge case testing. Optimized packet forwarding via load testing and profiling, reducing broadcast traffic by 80% through intelligent MAC learning.

TypeScript Next.js Express React MongoDB Docker Nginx CI/CD

Scalable Spotify Web Application

Architected RESTful API on AWS handling 1000+ daily requests with 99.5% uptime, reducing response time by 73% through database optimization and connection pooling. Deployed containerized application with Docker and CI/CD pipelines, implementing Nginx load balancing to support 50+ concurrent users.

Go Testing GitHub Actions YAML CI/CD

Go Shell with Automated Testing

Developed Unix-like shell in Go emphasizing safety and performance, optimizing file I/O by 15% through profiling and implementing comprehensive unit tests. Automated continuous testing using GitHub Actions CI/CD with syntax linting and coverage reporting.