sl.Wang

From Qpou.com

Current

• postd @ UNU-IIST (Macao)

Education

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

Connections

2

Industry

Computer Software

Public Profile

[ Copy ]

Summary

None

Specialties:

None

Experience

postd @ UNU-IIST (Macao)

2008-08-01 -- Present ( 16 year(s), 5 month(s) )

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

Education

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

2003-09-01 -- 2009-07-01 ( 5 year(s), 10 month(s) )

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