-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex2.html
More file actions
200 lines (161 loc) · 6.64 KB
/
index2.html
File metadata and controls
200 lines (161 loc) · 6.64 KB
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
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
<html>
<head>
<link href="https://cdn.ncsu.edu/brand-assets/fonts/include.css"
rel="stylesheet" type="text/css" />
<style type="text/css">
h2 {
font-family: UniversRoman;
color: #CC0000;
}
h3 {
font-family: UniversRoman;
color: #CC0000;
}
blockquote {
font-family: UniversLight;
color: #000000;
}
a:link {
color: #CC0000;
text-decoration: none;
}
a:visited {
color: #CC0000;
}
</style>
<title>Computational Modeling Group</title>
</head>
<body>
<script src="https://cdn.ncsu.edu/brand-assets/utility-bar/ub.php"></script>
<blockquote>
<br>
<h2>Computational Modeling Group</h2>
<blockquote>
Our 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. <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.<p>
</blockquote>
<h4>People</h4>
<blockquote>
<b>Faculty:</b> <a href="https://www.ccee.ncsu.edu/people/jwb/">John
Baugh</a>
<p>
<b>Doctoral students:</b> Tristan Dyer, Xing Liu (Ocean University),
Azadeh Bahmaninezhad
<p>
<b>Master's students:</b> Gulsah Cakir
<p>
<b>Former doctoral students:</b><br>
<a href="https://www.linkedin.com/in/alper-altuntas-ncsu/">Alper Altuntas</a>,
Software Engineer at National Center for Atmospheric Research<br>
<a href="https://www.linkedin.com/in/joseph-trask-a09a9a115/">Lake Trask</a>,
Transportation Analyst at Kittelson & Associates, Inc.<br>
<a href="https://www.linkedin.com/in/asisin/">Arvind Srinivasan</a>,
Product Lead Builder, Tools for Alexa, at Amazon<br>
<a href="https://www.linkedin.com/in/edna-chan-29681077/">Edna Chan</a>,
Deputy Director, School of Mathematics and Science, Singapore Polytechnic<br>
<a href="https://www.linkedin.com/in/troy-doby-jr-892b422b/">Troy Doby</a>,
N.C. Department of Environmental Quality<br>
<a href="https://www.linkedin.com/in/sujay-kumar-50091a/">Sujay Kumar</a>,
Research Physical Scientist at NASA Goddard Space Flight Center<br>
<a href="https://www.linkedin.com/in/gopalkakivaya/">Gopal Kakivaya</a>,
Corporate Vice President at Microsoft Corporation<br>
<a href="https://www.linkedin.com/in/harpreet-chadha-829963/">Harpreet Chadha</a>,
Networking Product Executive at Google<br>
<a href="https://www.linkedin.com/in/wael-elseaidy-b9a81715/">Wael Elseaidy</a>,
CEO at Medstreaming and M2S<br>
<p>
<b>Recent master's students:</b><br>
<a href="https://www.linkedin.com/in/shu-liu-82339b142/">Shu Liu</a>,
Software Engineer at Bloomberg L.P.<br>
<a href="https://www.linkedin.com/in/jasonssimon/">Jason Simon</a>,
PhD candidate at UC Berkeley<br>
<a href="https://www.linkedin.com/in/piperbrian/">Brian Piper</a>,
Data Scientist at Apple<br>
<a href="https://www.linkedin.com/in/pranavparikh/">Pranav Parikh</a>,
Founder, 5D BuildCon<br>
<p>
<b>Recent visitors:</b>
<a href="http://aace.sunmoon.ac.kr/pages/department/department03.asp?pagenum1=1&pagenum2=3">Hyun-Su Kim</a>,
<a href="http://ngo.inf.shizuoka.ac.jp/english/labs/science_detail.html?UC=yoshi">Yoshi Miyazaki</a>
<!--
<a href="https://www.linkedin.com/in/sivakumar-pabolu-7614912/">Sivakumar Pabolu</a>,
Consultant at ZS Associates<br>
<a href="https://www.linkedin.com/in/sirishsomanchi/">Sirish Somanchi</a>,
Senior Technical Lead at Mentor Graphics<br>
<a href="">Ravi Konduri</a>,
Technical Lead at Viptela<br>
<a href="https://www.linkedin.com/in/raghu-kurlagunda-b6b5564/">Raghu Kurlagunda</a>,
Senior Technical Analyst at Freddie Mac<br>
<a href="https://www.linkedin.com/in/shomachakravarty/">Shoma Chakravarty</a>,
Chief Technology Officer at Telarix<br>
Heather Hildebrandt, Air Quality Engineer at NC DOT<br>
Shannon Caldwell<br>
-->
</blockquote>
<h4>Representative Projects</h4>
<blockquote>
<b><a href="./alloy">Alloy case studies</a></b> – a collection
of software models that allow us to draw useful conclusions about the
structure and behavior of computer programs.
<p>
<b><a href="./subdomain">Subdomain modeling</a></b> – an exact
reanalysis technique for storm surge and tides that enables the
assessment of local <em>subdomain</em> changes with less computational
effort than would be required by a complete resimulation of the full
domain. Subdomain modeling is now built into the official
<a href="http://adcirc.org">ADCIRC</a> release. Funded by the US
Department of Homeland Security (DHS).
<p>
<b><a href="./vitri">Vitri</a></b> – an object-oriented
framework implemented in Java for high-performance distributed
computing. Its capabilities include an asynchronous global-parallel
genetic algorithm that is particularly suited for coarse-grained tasks
executing on platforms that have variations in processor speeds.
Funded by the US Environmental Protection Agency (EPA).
<p>
<b>Dial-a-ride scheduler</b> – a multiobjective vehicle routing
and scheduling system using genetic algorithms and simulated
annealing, implemented in Java for workstation networks. Funded by
the Federal Transit Administration (FTA), NC DOT, and the
Winston-Salem Transit Authority (WSTA).
<p>
<b>Strategy development tool</b> – an optimization-based
decision-support system for environmental regulators evaluated by
the NC Department of Environment and Natural Resources (NC DENR) and
EPA Region 3. The SDT allows conjunctive use of optimization tools,
including genetic algorithms, simulated annealing, multivariate
regression, and simple heuristics.
</blockquote>
<h4>Recent Publications</h4>
<script src="https://bibbase.org/show?bib=https%3A%2F%2Fpeople.engr.ncsu.edu%2Fjwb%2Fjwb.bib&jsonp=1"></script>
<!--
<script src="https://bibbase.org/show?bib=http%3A%2F%2Fwww4.ncsu.edu%2F%7Ejwb%2Fjwb.bib&jsonp=1&authorFirst=1"></script>
<script src="https://bibbase.org/show?bib=http%3A%2F%2Fwww4.ncsu.edu%2F%7Ejwb%2Fjwb.bib&jsonp=1&group0=type"></script>
-->
<h4>Contact</h4>
<blockquote>
For more information about the Computational Modeling Group, contact
<a href="https://www.ccee.ncsu.edu/people/jwb/">John Baugh</a> at
NC State University.
</blockquote>
<br><p>
<em>Last updated: Fri Nov 30, 2018</em>
</blockquote>
</body>
</html>