Ayaka Yorihiro (頼廣 采佳)
she/her
Gates Hall 407
ayaka@cs.cornell.edu
Github
I am a fifth-year PhD candidate in the Department of Computer Science at Cornell University working with Adrian Sampson in the Capra research group. I received a BA in Computer Science and Music from Swarthmore College in May 2020, where I was advised by Zachary Palmer.
I am generally interested in Programming Languages and Software Engineering. More specifically, my research explores ways to help programmers better understand and find bugs in their code. At Swarthmore, I studied context model designs and their effects on static higher-order program analyses. Some of my time at Cornell was spent tackling challenges in Runtime Verification, a dynamic analysis technique to check program executions against formally specified properties. These days, I'm working on tools for hardware development that take inspiration from software engineering.
Pronounciation Guide: My first name can be pronounced as either "eye-AH-ka" (most common) or "AH-ya-ka" (closer to the Japanese intonation). A nice work-around in pronouncing my last name is to say "You're a hero" fast.
Instructor:
Teaching Assistant:
Teaching Assistant:
Grader:
Check out the rest of my posts here!
Check out some of my other non-CS related posts here!