Recently received my CS MS from Boise State. My thesis investigated the advantages of application and language-specific string constraint solving for software verification. I am currently working in a grant-funded Software Engineering position at BSU developing a tool that analyses open source software for targeted and automatic generation of verifier benchmarks.
I love puzzles and problem-solving and wide ranging interests from psychology and mental health to philosophy and physics. I am passionate about leveraging computer science to develop innovative technical solutions for complex human challenges. My approach is grounded in a multidisciplinary mindset focusing on efficiency and user experience.