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
Workday
More Sign Ons...
Department of Computer Science
Search form
Search
Main menu
Main Menu
Home
About CS
Mission Statement
Department History
Computer History
Atanasoff Today
External Advisory Council
Student Advisory Council
Contact CS
Jobs@CS
Accreditation
Academics
Research
Outreach
People
Tenure/Tenure Track Faculty
Term Faculty
Faculty by Research Area
Graduate Students
Staff
Affiliated Faculty
Emeritus
Directory
Research Area
Industry
Support CS
You are here
Home
»
People
Faculty by Research Area
Theoretical Foundations
Andrew S Miner
Associate Professor
Office, Email, Phone
Model Checking and Verification, Petri Nets
Pages
« first
‹ previous
1
2
