Homepage of Simin Yang

I am a M.S. student in USTC-Yale Joint Research Center for High-Confidence Software of School of Computer Science, USTC. My advisor is Pro. Yiyun Chen.

Email : smyang.ustc {at} gmail.com

Resume : English, 中文

• 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