Portfolio · 2026
SWE Intern @ AstrioNguyen Le
Full-Stack Developer · AI/ML Engineer · ICML Author
Computer Science student at Bucknell University passionate about AI research and full-stack engineering. I've shipped production apps across the stack, conducted ML research on biomass gassification, and published at ICML VecDB Workshop.
At a glance
Highlights
Dean's List
Recognized for academic excellence at Bucknell University.
ICML VecDB 2025
Published research on entropy-based hybrid retrieval systems.
AI/ML Research
Built an ML-powered LCA framework for hydrogen production.
SWE @ Astrio
Building formal-verification coding agents with Dafny & LLMs.
Where I've worked
Experience
Software Engineering Intern
Astrio · San Francisco, CA
Spec-first coding agent with Dafny formal verification
Building a coding agent that requires specs before code and uses formal verification to prove implementations match those specs.
AI/ML Researcher
McKenna Environmental Fellowship · Lewisburg, PA
30% improvement over traditional LCA frameworks
Developed an ML-powered lifecycle assessment framework for hydrogen production technologies using OpenLCA and Ecoinvent 3.7.1.
Software Engineering Intern
Brycen · Hue, Vietnam
Enterprise RAG chatbots deployed for user support
Built enterprise AI chatbot applications using RAG, Python, and OpenAI for user interaction and support.
AI/ML Research Author
ICML VecDB 2025 · Lewisburg, PA
Up to 7% LLM-as-a-Judge gain on TriviaQA
Developed entropy-based dynamic hybrid retrieval integrating BM25 and MiniLM-L6-v2 for adaptive query processing.
Data Analyst Assistant
University at Buffalo · Remote
Collaborated with graduate researchers from the University at Buffalo through the Bucknell Psychology Department to preprocess neuroimaging (fMRI) data in MATLAB. Applied the preprocessing pipeline to collected MRI scans and evaluated output for data quality.
Software Engineering Fellow
Headstarter AI · Remote
Built and deployed 4 AI projects in 5 weeks using Next.js, Firebase, Stripe, and agile sprints.
TLC Study Group Facilitator
Bucknell University · Lewisburg, PA
Facilitated part-time study groups for Introduction to Computer Science and Calculus II. Guided peer learning and problem-solving to deepen understanding of course materials, and coordinated with a co-facilitator to align sessions with course objectives.
Selected work
Projects
Background
Education
Bucknell University
Bachelor of Science in Computer Science
Lewisburg, PA
GPA 3.5 · Dean's List all semesters
연세대학교
Exchange Program in Computer Science
Seoul, South Korea
Studied abroad at one of the most prestigious universities in South Korea
Open source
GitHub Activity
Technical stack
Skills
Hover over the keys to explore the technologies I work with.
Get in touch
Contact
Open to internships, research collaborations, and interesting projects.