Research Interests: 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 and Safety Assurance Inherently Fault-Tolerant and Self-Stabilizing Distributed Systems Modular Parallel Programs Tele-Collaborative Systems