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
1 faculty research 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 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