jwbaugh.github.io/index.html at master · jwbaugh/jwbaugh.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
<html>

<head>
<link href="https://cdn.ncsu.edu/brand-assets/fonts/include.css"
rel="stylesheet" type="text/css" />

<meta name="viewport" content="width=device-width, initial-scale=1">

<style type="text/css">
h2 {
    font-family: UniversRoman;
    color: #CC0000;
}
h3 {
    font-family: UniversRoman;
    color: #CC0000;
}
blockquote {
    font-family: UniversLight;
    color: #000000;
}
p {
    font-family: UniversLight;
    color: #000000;
}
ul {
    font-family: UniversLight;
    color: #000000;
}
a:link {
    color: #CC0000;
    text-decoration: none;
}
a:visited {
    color: #CC0000;
}
</style>

<BODY>

<script src="https://cdn.ncsu.edu/brand-assets/utility-bar/ub.php"></script>

<IMG SRC="images/jwb-coast.jpg" ALT="John Baugh" ALIGN=left HEIGHT=240 VSPACE=20 HSPACE=60 BORDER=0>

<br>

<h3>John Baugh</h3>

<p>
Professor<br><br>
Department of Civil, Construction, and Environmental Engineering<br>
Campus Box 7908, North Carolina State University<br>
Raleigh, North Carolina 27695-7908<br>
<p>
Email: jwb at ncsu dot edu<br>
Phone: 919.515.7697<br>
</p>

<br clear=left>

<!--
John Baugh is a Professor of <a href="http://www.ccee.ncsu.edu/">Civil
Engineering</A> and <a href="http://www.or.ncsu.edu/">Operations
Research</a> at <a href="http://www.ncsu.edu/">North Carolina State
University</a>. <p>

<blockquote>
<ul>
<li> My CCEE departmental page:
<a href="http://go.ncsu.edu/jwb">http://go.ncsu.edu/jwb</a>
<p>
<li> Courses I teach:
<a href="./courses/339/s16">CE 339</a> Civil Engineering Systems,
<a href="./courses/537/f16">CE/OR 537</a> Computer Methods and Applications,
and
<a href="./courses/591/s17">CE 591</a> Software Engineering
<p>
<li> After a long, hard day: original <a href="images/WillyNilly.bmp">"art"</a>
</blockquote>
-->

<blockquote>

<hr>

My group develops models of software, to make it more robust and
reliable&mdash;and models of engineering and scientific systems, to
improve the way we design and analyze artifacts in the real world. <p>

Areas we draw from include
<blockquote>
<b>formal methods:</b> mathematical techniques for specifying,
developing, and verifying software systems <p>
<b>systems science:</b> computational approaches from <em>operations
research</em> to help make better decisions
</blockquote>

Applications in engineering include coastal hazard mitigation, civil
site development, vehicle routing and scheduling, air quality
management, structural optimization and design, and active control
systems.<p>

Our projects touch on many different facets of problem solving, from
theoretical aspects and formal models to the practical issues of
building complete systems that incorporate state-of-the-art
technology.  Representative projects include <a href="./alloy">Alloy
case studies</a>, <a href="./subdomain">subdomain modeling</a> for
large-scale storm surge simulation, and <a href="./vitri">Vitri</a>
parallel optimizer.<p>

After a long, hard day: original <a href="images/WillyNilly.bmp">"art"</a><p>

<hr>

<h4>Recent Publications</h4>

<script src="https://bibbase.org/show?bib=https%3A%2F%2Fjwbaugh.github.io%2Fjwb.bib&jsonp=1"></script>

<!--
<li> NCSU Thesis <a href="tex">Style File</a> for LaTeX
<li> <a HREF="main/mit-workshop.gif">Picture</a> from the 1st International
Workshop on
<a HREF="http://www.sds.lcs.mit.edu/spd/larch/">Larch</a>.<br>
Can you find me?  Here's the
<a HREF="main/jwb-at-mit.gif">spoiler</a>.
<li> Favorite <a href="main/links.html">links</a>
-->

<br><p>

<em>Last updated: Thu Aug 7, 2025</em>

</blockquote>

<br><br>

</html>

</body>