Petri Nets in System Modeling
40 faculty research Petri Nets in System Modeling on GradNova.
Application of Automated Reasoning Tools, Such as Model Checkers, to the Analysis of Reactive Systems, Including Computer Hardware and Software Systems; Embedded Systems; and Routing and Communication Protocols (of Particular Interest Are Compositional Reasoning and Abstraction Techniques for Coping With the State Explosion Problem in Model Checking)
Visual Notations for Describing Systems and Their Specifications; Automata on Infinite Objects; Temporal, Modal, and Description Logics; Internet-Based Routing and Communication Protocols; and Analysis of Parameterized Systems
Formal Methods in Verification
Logic, Programming, and Type Systems
+3
M
Senior Research Associate and Part-Time Lecturer of Computer Science
L
Professor; Computer and Information Science; Co-Director, Data Science Program
P
Professor, Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software
M
Senior Instructor, Acting Associate Dean (Programs)
M
R
Professor of Practice and Associate Chair (Graduate), Department of Computer Science