Simon is a fourth-year graduate student at the Software and Societal Systems Department, Carnegie Mellon University currently pursuing a Ph.D. in Software Engineering. His interest is in the interaction of formal methods and requirement engineering, with the goal of ensuring the runtime safety of cyber-physical or other safety-critical systems.