My research interests include software engineering, validation and verfication, and modeling and simulation.