Ashish
Mishra
Toggle navigation
about
publications
repositories
cv
Teaching
more
publications
projects
projects
A list of some of the interesting projects in our group.
work
Scalable synthesis using rich specifications
a project with a background image
fun