About me
I am a Ph.D. student in the Software Security Laboratory of Computer Science Department, USTC. My advisor is professor Yiyun Chen.
Research Interests
- OCAP, TALP
- Logic & Types
- Programming Languages Design and Implementation
- Coq
Technical Interests
- Linux(Debian), Unix, GNU/Emacs
- C, Java, O'Caml, Haskell, Python, Pascal, Bash
- Network, TCP/IP
- Operating System Design
Contact
- Email : echo "guoyu {at} mail_ustc_edu_cn" |sed -e 's/_/\./g' -e 's/\s*{at}\s*/@/'
- Email : guoyu.mail {at} gmail.com