- Mann Hall 316
- Visit My Website
John Baugh is a Professor of Civil Engineering and Operations Research at North Carolina State University. He received the Ph.D. from Carnegie Mellon University in 1989.
In addition to carrying out research and instructional programs, Dr. Baugh works broadly within the university to improve the educational opportunities and outcomes of its students. Included among those efforts is leadership in creating a new graduate program in the areas of computing and systems engineering, and previously serving as Director of the NC Japan Center.
Before pursuing the Ph.D., he worked as a Research Engineer in Applied Mechanics and Structures at Battelle’s Pacific Northwest National Laboratory. He is a member of ACM, INFORMS, Phi Kappa Phi, Tau Beta Pi, and Chi Epsilon.
Carnegie Mellon University
Carnegie Mellon University
Dr. Baugh's research interests include systems engineering and computing applications in engineering; concurrent and distributed algorithms and systems; formal methods for specifying and verifying software systems; mathematical modeling, optimization, and support for engineering design. Current and past funding sources include the US Department of Energy, National Science Foundation, Department of Homeland Security, Federal Transit Administration, US Environmental Protection Agency, and North Carolina Supercomputing Center.
- A simple Hybrid Event-B model of an active control system for earthquake protection
- Banach, R., & Baugh, J. (2019), In A. Adamatzky & V. Kendon (Eds.), From Astrophysics to Unconventional Computation (Vol. 35, pp. 157–194). Cham: Springer. https://doi.org/10.1007/978-3-030-15792-0_7
- Formal methods and finite element analysis of hurricane storm surge: A case study in software verification
- Baugh, J., & Altuntas, A. (2018), Science of Computer Programming, 158, 100–121. https://doi.org/10.1016/j.scico.2017.08.012
- Hybrid theorem proving as a lightweight method for verifying numerical software
- Altuntas, A., & Baugh, J. (2018), PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS. IEEE. https://doi.org/10.1109/Correctness.2018.00005
- Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor
- Liu, X., Jiang, W., Yang, B., & Baugh, J. (2018), Estuarine, Coastal and Shelf Science, 215, 39–51. https://doi.org/10.1016/j.ecss.2018.09.019
- State-based formal methods in scientific computation
- Baugh, J., & Dyer, T. (2018), In M. Butler, A. Raschke, T. S. Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 392–396). Cham: Springer. https://doi.org/10.1007/978-3-319-91271-4_29
- Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models
- Altuntas, A., & Baugh, J. (2017), Ocean Modelling, 115, 86–104. https://doi.org/10.1016/j.ocemod.2017.05.009
- Verifying Concurrency in an Adaptive Ocean Circulation Model
- Altuntas, A., & Baugh, J. (2017), In Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17. ACM Press. https://doi.org/10.1145/3145344.3145346
- A general characterization of the Hardy Cross method as sequential and multiprocess algorithms
- Baugh, J., & Liu, S. (2016), Structures, 6, 170–181. https://doi.org/10.1016/j.istruc.2016.03.004
- Modeling a discrete wet-dry algorithm for hurricane storm surge in Alloy
- Baugh, J., & Altuntas, A. (2016), In M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (Vol. 9675, pp. 256–261). Cham: Springer. https://doi.org/10.1007/978-3-319-33600-8_18
- SMT: An interface for localized storm surge modeling
- Dyer, T., & Baugh, J. (2016), Advances in Engineering Software, 92, 27–39. https://doi.org/10.1016/j.advengsoft.2015.10.003