About Akash Kothari

PhD candidate at UIUC Siebel School of Computing and Data Science. Working on programming languages, compilers and formal methods.

Lists

Timeline

{username} has no activity yet