S
Research Interests
Artificial Intelligence (ai)
Control, Intelligent Systems, and Robotics (cir)
Cyber-Physical Systems and Design Automation (cpsda)
Programming Systems (ps)
Security (sec)
Theory (thy)
Formal Methods in Verification
Distributed Systems and Fault Tolerance
Simulation Techniques and Applications