Zhi Zhang |
Ph.D Candidate (Advisor Dr. John Hatcliff, Dr. Robby)
|
Department of Computing and Information Science
|
Kansas State University
|
I will join Coverity as a Senior Software Engineer in June 2016.
Research
I am interested in the following research areas:
- Information Security
- Symbolic Execution
- Specification and Verification of High-Integrity Systems
- Formalization and Theorem Proving with Interactive Theorem
Provers (e.g Coq)
- Program Translation and Compilation Techniques
Ongoing Projects
Some interesting projects that I am working on now:
- Declassification Policy for Controling Information Release
- Formalization for SPARK 2014 Language
- Formalization for Symbolic Execution
- Certified SPARK Frontend for CompCert Certified Compiler Framework
Others
Teaching Assistant for CIS301 Logical Foundations Of Programming
E-mail: zhangzhi AT ksu DOT edu