jwbaugh.github.io/index3.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
<html>

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

<!-- Add the meta viewport tag -->
<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;
    /* Add margin for readability */
    margin: 10px 0;
}
ul {
    font-family: UniversLight;
    color: #000000;
}
a:link {
    color: #CC0000;
    text-decoration: none;
}
a:visited {
    color: #CC0000;
}
/* Add responsive styling for images and text */
img {
    max-width: 100%;
    height: auto;
    display: block;
    margin: 10px auto;
}
body {
    margin: 10px;
    font-size: 16px;
    line-height: 1.6;
}
blockquote {
    padding-left: 10px;
    border-left: 2px solid #CC0000;
}
</style>

</head>

<body>

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

<!-- Wrap content in a responsive container -->
<div style="max-width: 600px; margin: auto;">

<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>

<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>

<br><p>

<em>Last updated: Fri Dec 20, 2024</em>

</blockquote>

</div>

</body>

</html>