Bio
| CV
| Publications
| Teaching
| Students
| Seminar
I am looking for motivated students: multiple Graduate Research Assistantship positions open for the Fall 2013 admission. Contact me if you are interested.
News - The Cruiser project is now funded by NSF.
|
Teaching:
SRA 221: Information Security (Spring 2013, ANGEL Course Management System)
Seminar: I initiated and have been organizing Lions Center Lunch Seminar since Spring 2010.
Research Interests:
I do research on software systems, including software security, analysis, and verification,
information and software assurance, programming languages, and software engineering.
I also lead a project on cloud computing for energy and environmental sustainability.
Current Projects:
Previous Projects
|
Hobbies:
Go, Chinese Chess, Calligraphy.
|