Logic, Programming, and Type Systems
262 faculty research Logic, Programming, and Type Systems on GradNova.
J
Professor, Computer Science; Department Chair, Computer Science
Algorithms and Domains: How Can We Expand the Areas Amenable to Effective Symbolic Computation?
Collaboration: What Software Solutions Can Enhance Mathematical Collaboration, Including Mathematical Handwriting Recognition?
Interfaces: How Should Computer Algebra Systems Interact With Each Other and Other Software?
Knowledge Management: How to Organize and Query the World's Mathematical Knowledge?
+7
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
G
Associate Professor, Teaching Stream
Gradual Typing: Languages Which Combine Typed and Untyped Code
Just-In-Time Compilation: Compilers Which Compile Code While It's Running, Allowing for Advanced Profiling
Languages and Systems, in Particular Cs442 (programming Languages) and Cs241 (foundations of Sequential Programming)
Security and Verification in Computing
+4
D
Associate Professor, Electrical and Computer Engineering
P
Associate Professor, Electrical and Computer Engineering
A
Associate Professor, Electrical and Computer Engineering
W
Associate Professor, Electrical and Computer Engineering
P