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 in the Future of Programming Lab.
Feel free to reach out:
eric_c_zhao / brown / edu | |
| github | mirryi |
| orcid | 0009-0000-4969-2376 |
| lt | mirryi |
