||IST 597: Seminar on Security (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,
and currently lead a project on cloud computing for energy and environmental sustainability
of building design and retrofit.
Program Comitee members:
ICSE 2016 (SEIP Track),