I'm an Associate Professor of Computer Science at Iowa State University. I work in model checking and probabilistic model checking, and lately I work on various forms of decision diagrams to manage state explosion. For more information, check out my Iowa State Webpage.