Mikail Khan

Bio

I'm an incoming CS PhD Student and NSF GRFP Fellow at CMU S3Dinterested in PL/SE. I did my undergrad at Purdue as part of PurPL and Purdue Hackers. While I was there, I worked with Guannan Wei on staged symbolic execution for WebAssembly.

I sometimes post stuff on my blog and Twitter, and I more frequently put stuff on my microblog

Interests

I want to make software engineering more productive and accessible by building better tools and languages.

I like longboarding, sci-fi/fantasy, soulslike games, and I've been learning to play guitar.