Hyeyoung Shin
About
My professional experience spans a wide range of projects, including compilation verification, program analysis, and data science, in both academic and industry settings. I bring a unique perspective combining strong communication skills from my literature background with technical expertise in software engineering.
I'm passionate about building robust, well-designed systems and contributing to projects that push the boundaries of what's possible in programming languages and software verification.
Experience
Graph Analytics Library
Designed and benchmarked graph algorithms against large datasets, optimized them to compete with industry standards, and tracked down bugs across a relational knowledge graph system.
Data-Driven Testing Tool for R
Built recording and tracing infrastructure to collect millions of real R program executions, and visualized the resulting data to understand how R programs behave in the wild.
Secure Compilation Verification
Worked on formal proofs for a secure compiler that provably preserves program equivalences when compiling from a total language to a partial one.
Certificates
Functional Programming in Scala Specialization
A 5 course series on writing elegant functional code to analyze data that's big or small.
AI Fluency
Empowers students to develop AI Fluency skills that enhance learning, career planning, and academic success through responsible AI collaboration.
Community Involvement
Board of Directors
Contributing to the governance and strategic direction of a community rowing organization that promotes inclusive access to the sport of rowing in the Boulder area.