mkeoliya.github.io - Mayank Keoliya

Description: Mayank Keoliya's personal website. Thanks for visiting!

website (31167) personal (9554) mayank (12) keoliya (1)

Example domain paragraphs

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.

Links to mkeoliya.github.io (4)

ilyasergey.net Ilya Sergey
nus-plse.github.io NUS PLSE - Programming Languages & Software Engineering @ NUS
verse-lab.github.io VERSE Lab
angelhof.github.io Konstantinos Kallas