Supporting Grants
My work has been supported by the following grants
Projects
I am involved in a number of large software projects
News
Personal, university and other news
My research interests fall broadly into three categories: programming languages, software engineering, and systems. More specifically I am interested in language, compiler, and runtime design for achieving reliability. Along with Steve Ko and Karthik Dantu, I have founded the Reliable Mobile Systems group at UB.