Artificial intelligence Automated and Formal Reasoning Computer architecture & logic design Computer-Aided System Design Formal Methods Formal Verification, Specification, Synthesis, and Testing Hardware and System Verification Mathematical theory of computation Software testing & verification Systems analysis & design