John Baugh is a Professor of Civil Engineering and Operations Research at North Carolina State University. He holds a Ph.D. from Carnegie Mellon University. Dr. Baugh's group develops models of software, to make it more robust and reliable, and models of engineering and scientific systems, to improve the way we design and analyze artifacts in the real world. Areas of interest include formal methods for specifying and verifying software systems, and systems science for making better decisions. He works on problems in coastal hazard mitigation, active control, vehicle routing and scheduling, civil site development, air quality management, and structural optimization and design.