Hello, I'm

Hung Pham

I build  |

Full-Stack Developer & CS Researcher at Bucknell University

View My Work Get In Touch
Scroll
About

Researcher.
Builder.
Teacher.

I'm a Computer Science & Engineering student at Bucknell University with a passion for applying AI, optimization, and formal methods to hard real-world problems.

My research spans adversarial ML, 3D mesh compression, EEG signal analysis, and formal program logic. Outside the lab, I've tutored 100+ students in CS, Calculus, and Physics.

0+ Students Tutored
0 Research Projects
Hung Pham
DegreeB.S. CS & Engineering
MinorMathematics
SchoolBucknell University
FocusAI / ML / Systems
Email[email protected]
Skills

Tech Stack

Languages

Python Java C/C++ SQL R Bash

Frameworks & Libraries

PyTorch FastAPI Spring Boot LangChain NumPy Pandas Scikit-learn Matplotlib

Tools & Platforms

AWS (EC2, S3, CloudFront) MongoDB Git Gurobi OpenAI SDK CMake Jupyter

Research Areas

Deep Learning Optimization (MILP) Formal Methods 3D Geometry Signal Processing Multi-Agent AI
Experience

What I've Done

Sep 2025 – Present

Honors Thesis Researcher

Bucknell University

Studying Guarded Kleene Algebra with Tests (GKAT), a formal system for modeling program logic and control flow with applications in autonomous systems and AI agents.

Formal Methods GKAT Program Logic
Jan 2025 – Present

Mesh Compression Researcher

Bucknell University

Investigating hierarchical multigrid methods for 3D mesh compression with adaptive basis optimization. Implemented prototype in PyTorch + C++ integrating CGAL for geometric processing.

PyTorch C++ CGAL 3D Geometry
May 2024 – Present

Undergraduate Research Student

Bucknell University

Developed MILP models for adversarial neural network verification. Led a team of 3 to build reproducible deep learning & optimization workflows. Deployed on HPC cluster, reducing experiment time by 30%.

MILP Gurobi AWS Bedrock HPC
Aug 2023 – Present

Undergraduate Teaching Assistant

Bucknell University

Tutored 100+ students across CS, Calculus, and Physics. Led weekly study groups for CSCI203/204, Calculus I–III, and Physics 201/202. Mentored new tutors on pedagogy.

Teaching CS Mathematics
Jun 2023 – Aug 2023

EEG Analysis Researcher

Bucknell University

Analyzed deep learning algorithms on EEG brain-signal data to detect and mitigate gender bias. Preprocessed datasets with Pandas/NumPy and reproduced PyTorch models from prior research.

PyTorch EEG Bias Mitigation
Projects

Things I've Built

01

Adversarial NN Verification

MILP-based framework for formally verifying neural network robustness under adversarial perturbations. Integrated Gurobi heuristics to significantly reduce solve time on benchmark instances.

MILP Gurobi PyTorch Python
View on GitHub →
02

Astrio AI Website Builder

An AI-driven website generator using multi-agent coordination and static code analysis. FastAPI backend deployed on AWS (S3, EC2, CloudFront) for scalable build workflows.

FastAPI Multi-Agent AI AWS Python
View on GitHub →
03

3D Mesh Compression

Hierarchical multigrid methods for 3D mesh compression with adaptive basis optimization. Evaluation pipeline using Chamfer distance for reconstruction quality assessment.

C++ PyTorch CGAL 3D Geometry
View on GitHub →
Contact

Let's Work Together

I'm always open to research collaborations, internship opportunities, and interesting projects.

[email protected] github.com/hqp001 linkedin.com/in/hung-quoc-pham