Research Topics

Software/systems security and software engineering; program analysis and testing; machine learning for security; security and reliability of multi-language software, distributed systems, and mobile/IoT systems and applications