I am a second year doctoral student at Brown University, advised by Nikos Vasilakis and Robert Lewis. My interests are in programming languages, especially formal methods, interactive theorem provers, and type theory. I’m also supported by the NSF Graduate Research Fellowship.
Previously, I was an undergraduate in computer science at the University of Michigan, where I worked with Cyrus Omar.
Feel free to reach out:
eric_c_zhao / brown / edu | |
| github | mirryi |
| orcid | 0009-0000-4969-2376 |
| lt | mirryi |