||IST 597: Security and Privacy in Emerging Platforms
||(special topics: Trusted Computing) (Spring 2017)
I do research on software systems,
including software security, software protection, software analysis and verification,
information and software assurance, programming languages, and software engineering.
I am also interested in technology applications on environmental and societal issues.
Program Comitee members:
FEAST 2017 (PC Co-chair),
ICSE 2016 (SEIP Track),