Wang Shuling

Wang Shuling

来自 Qpou.com

您需要登录以后才能够查看更多的信息!
请先 登录 或者 注册

当前
教育经历
  • applied mathematics @ 兰州大学； 北京大学
联系网
2
行业
计算机软件
资料地址
[ 拷贝 ]

概述

If you want to know me, contact me!

专业技能:

C, C++
Theorem prover Isabelle/HOL
Model checker Uppaal

工作经历

postd @ UNU-IIST (澳门)

2008-08-01 -- 至今 ( 16年零5个月 )

object-oriented programming;
formal method;
concurrency verification;
and so on.

教育经历

applied mathematics @ 兰州大学； 北京大学

2003-09-01 -- 2009-07-01 ( 5年零10个月 )

BS.c in Lanzhou Univ., awarded top class scholarships...
Ph.d in Peking Univ., awarded Microsoft Asia Fellowship...