Guo Yu
Currently, I'm working on the project, Certified Operating System Kernels. If you have any question, please
Contact Me
To get my email? Please run the following shell script:
echo "guoyu {at} mail_ustc_edu_cn" | sed -e 's/_/\./g' \
-e 's/\s*{at}\s*/@/'My talks
- 2009-09-04 Suzhou Proving OS kernels in Coq (on going)
I also maintain a personal webpage.
| Attachment | Size |
|---|---|
| cosincoq-090904.pdf | 599.07 KB |