Skip to main content
ISU Index Menu
iastate.edu
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ISU Quick Links Menu
Directory
Maps
Safety
Sign Ons
AccessPlus
Canvas
CyBox
CyMail
Outlook
More Sign Ons...
Department of Computer Science
Search form
Search
Main menu
Main Menu
About CS
Academics
Research
Outreach
People
Events
Industry
News
Open Positions
Support CS
Internal
Secondary menu
Grants
Research Labs
Technical Reports
You are here
Home
»
Research
»
Faculty Interests
Faculty Interests
Programming Systems
Concurrency
Steve Kautz
Hridesh Rajan
Formal Methods
Samik Basu
Model Checking and Verification
Gianfranco Ciardo
Andrew S Miner
Petri Nets
Gianfranco Ciardo
Andrew S Miner
Program Analysis
Ali Jannesari
Wei Le