osa1 feed


I'm a computer science PhD student and research assistant at Indiana University. I'm a member of programming languages group. Some of my PL-related interests are compilers, multi-stage programming, making functional languages fast, and verification.

You can see my CV here.

Some other places you can find me: