Carnegie Mellon University
Software and Societal Systems Department  ›  Software Engineering Ph.D. Program  ›  People  ›  Current Students  ›  student-bios  ›  Mikail H Khan

Mikail Khan

Mikail Khan

Address
4665 Forbes Ave
Pittsburgh, PA 15213

Bio

I'm a first year CS PhD Student and NSF GRFP Fellow at CMU S3D interested in PL/SE. I'm advised by Ben Titzer and Jonathan Aldrich, and I've been working on WASM.

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.

Research

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

Projects

I've been working on Canonical Bytecode Definitions for Wasm, a project which facilitates Wasm engine development by using a core bytecode specification DSL for metaprogramming.