AI-Based Automated Software Synthesis and Testing
Embedded Real-Time Process-Control and Telecommunications Systems
Formal Methods and Automated Program Transformation
High-Assurance Autonomous Decentralized Systems
High-Confidence Software Reliability, Safety, and Security Assurance
Inherently Fault-Tolerant and Self-Stabilizing Distributed Systems
Modular Parallel Programs
Tele-Collaborative Systems