Hyeyoung Shin
Software Engineer & Programming Languages Researcher
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 & Projects
Graph Analytics Library
Developed a comprehensive graph analytics library for RelationalAI (2021-2023). Built high-performance algorithms for large-scale graph processing and analysis, focusing on scalability and efficiency for enterprise applications.
Data-Driven Testing Tool for R
Contributed to a sophisticated testing tool for R programming language (2019-2021). Implemented data-driven testing methodologies to improve code reliability and automated testing workflows for statistical computing applications.
Secure Compilation Verification
Worked on formal verification proofs for secure compilation projects (2018-2019). Focused on ensuring compiler correctness and security properties, contributing to the theoretical foundations of safe code compilation.
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.