Mayank Keoliya
Hi! I’m a final-year undergraduate at the National University of Singapore, where I study computer science and a bunch of other things.
I love wondering about programming languages (especially ones with λs), so I work on PL research at the VERSE Lab on formal verification and compilers. I’m currently looking for opportunities to continue my research at grad school or industry.
I want to make PL and hacker culture more fun for beginners. I help out at NUS Hackers to make that happen.
I enjoy reading, going on hikes, playing racquet sports, writing, and spending hours discovering music.
papers
- Simulating Noisy Channels in DNA StorageIEEE International Symposium on Performance Analysis of Systems and Software, May 2022