John Baugh
Civil, Construction, and Environmental Engineering
- Phone: 919-515-7697
- Email: jwb@ncsu.edu
- Office: Fitts-Woolard Hall 3163
- Website: https://ccee.ncsu.edu/people/jwb/
John Baugh is a Professor of Civil Engineering, with affiliations in Computer Science and Operations Research, at North Carolina State University. He holds a Ph.D. from Carnegie Mellon University.
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.
Research Description
Dr. Baugh’s research interests include scientific computing, cyber-physical systems, formal methods for software verification, mathematical optimization and control, and engineering applications in coastal, ocean, transportation, and structural systems.
His research has been funded by the U.S. Department of Energy, National Science Foundation, Department of Homeland Security, Federal Transit Administration, U.S. Environmental Protection Agency, and the North Carolina Supercomputing Center.
Education
| Degree | Program | School | Year |
|---|---|---|---|
| Ph.D. | Doctor of Philosophy in Civil Engineering | Carnegie Mellon University | 1989 |
| MCE | Master of Civil Engineering | Carnegie Mellon University | 1984 |
| BCE | Bachelor of Science in Civil Engineering | Auburn University | 1983 |
Publications
- Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS
- Wilson, K., Al Arafat, A., Baugh, J., Yu, R., & Gu, Z. (2024), 2024 22ND ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE 2024, pp. 98–102. https://doi.org/10.1109/MEMOCODE63347.2024.00016
- The ‘Causality’ Quagmire for Formalised Bond Graphs
- Banach, R., & Baugh, J. (2024), In Lecture Notes in Computer Science: Vol. 14774. Graph Transformation (pp. 99–117). https://doi.org/10.1007/978-3-031-64285-2_6
- An HPC Practitioner’s Workbench for Formal Refinement Checking
- Benavides, J., Baugh, J., & Gopalakrishnan, G. (2023), In Languages and Compilers for Parallel Computing (pp. 64–72). https://doi.org/10.1007/978-3-031-31445-2_5
- Automatic modelling and verification of AUTOSAR architectures
- Zhang, M., Teng, Y., Kong, H., Baugh, J., Su, Y., Mi, J., & Du, B. (2023), Journal of Systems and Software, 201, 111675. https://doi.org/10.1016/j.jss.2023.111675
- Formalisation, Abstraction and Refinement of Bond Graphs
- Banach, R., & Baugh, J. (2023), In Lecture Notes in Computer Science: Vol. 13961. Graph Transformation (Vol. 13961, pp. 145–162). https://doi.org/10.1007/978-3-031-36709-0_8
- Identifying cyber-physical vulnerabilities of water distribution systems using finite state processes
- Karrenberg, C., Benavides, J., Berglund, E., Kang, E., & Baugh, J. (2022), 2nd International Joint Conference on Water Distribution System Analysis & Computing and Control in the Water Industry, WDSA CCWI 2022, (14838).
- Industrial Symbiosis Waste Exchange Identification and Optimization
- Curri, D., Aziz, T., Baugh, J., & Johnson, J. (2021), Proceedings of the Annual Hawaii International Conference on System Sciences. Presented at the Hawaii International Conference on System Sciences. https://doi.org/10.24251/hicss.2021.112
- Significance of multi-hazard risk in design of buildings under earthquake and wind loads
- Kwag, S., Gupta, A., Baugh, J., & Kim, H.-S. (2021), ENGINEERING STRUCTURES, 243. https://doi.org/10.1016/j.engstruct.2021.112623
- Sterling: A Web-Based Visualizer for Relational Modeling Languages
- Dyer, T., & Baugh, J. (2021), In Lecture Notes in Computer Science: Vol. 12709. Rigorous State-Based Methods. ABZ 2021 (pp. 99–104). https://doi.org/10.1007/978-3-030-77543-8_7
- A simple Hybrid Event-B model of an active control system for earthquake protection
- Banach, R., & Baugh, J. (2020), In A. Adamatzky & V. Kendon (Eds.), From Astrophysics to Unconventional Computation (Vol. 35, pp. 157–194). https://doi.org/10.1007/978-3-030-15792-0_7
