Ian is a second-year graduate student at the Software and Societal Systems Department, Carnegie Mellon University currently pursuing a Ph.D. in Software Engineering. His research is primarily based on formal methods, including compositional model checking and robustness for discrete systems.