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.


  1. Simulating Noisy Channels in DNA Storage
    M. Keoliya, P. Sharma, and D. Jevdjic
    IEEE International Symposium on Performance Analysis of Systems and Software, May 2022