Andrew S. Miner

Greetings. I am an Associate Professor of Computer Science at Iowa State University. Generally, my research is in the area of formal methods, specifically model checking and probabilistic model checking. I am interested in developing techniques and tools to automatically verify properties of (formal models of) systems. Research challenges almost always are due to scalability issues: systems can describe an enormous number of possible behaviors, and much of my work involves the development of decision diagrams and similar data structures that attempt to tackle huge system models.

Download CV