Homepage of Simin Yang

I got my Master degree in Computer Software and Theory from USTC-Yale Joint Research Center for High-Confidence Software of School of Computer Science, University of Science and Technology of China. My advisor was Prof. Yiyun Chen.

Email : smyang.ustc {at} gmail.com

• Compiler, especially Certifying Compiler
• Program Verification and Automated Theorem Proving
• Coq

• Linux(Debian), GNU/Emacs
• SML, O'Caml, C
• Script languages

• Trekking, Camping
• Dota, BoardGames