Coverity Dec 2012 - Jun 2013
Software Engineer
Google May 2010 - Aug 2010
Software Engineer Intern
Google May 2009 - Aug 2009
Software Engineer Intern
UOneNet - Beijing City, China Feb 2006 - Aug 2006
Software Engineer
Education:
Indiana University Bloomington 2012
Master of Science (M.S.), Computer Science
Cornell University 2008
Master of Science (M.S.), Computer Science
Tsinghua University 2001 - 2005
Sichuan University 1997 - 2001
B.E., Computer Science and Technology
Skills:
Algorithms Compilers Type Systems Static Analysis Logic Programming Functional Programming Scheme Java C++ Computer Science Lambda Calculus Programming Language Semantics Type Theory Common Lisp C Haskell Matlab Linux Coq Assembly Mathematica JavaScript Racket
Interests:
programming, thinking, blogging, traveling
Languages:
English Mandarin French
Awards:
Best Paper Award ASP-DAC Fellowship Indiana University declined
Cisco
Engineering Director, Enterise Networking Business
Cisco Jan 2003 - Jul 2010
Senior Business Analyst
Cisco Jan 2003 - Jul 2010
Manager Software Engineering
Cisco May 2005 - Feb 2009
Software Engineer
Nokia Bell Labs Apr 2001 - Apr 2005
Mts
Education:
University of Edinburgh School of Philosophy, Psychology and Language Sciences Sep 2011
Masters, Master of Arts
Cfa Institute 2008
Peking University Feb 2007
Bachelors, Bachelor of Arts
The George Washington University May 2005
Masters
Zhejiang University 1996 - 2001
Doctorates, Doctor of Philosophy, Philosophy
Beijing City University Jul 1993
University of Edinburgh School of Philosophy, Psychology and Language Sciences
Master of Science, Masters, Finance
Skills:
Sip Qos Ethernet Device Drivers Distributed Systems Routing Cloud Computing Ipv6 Ip Snmp Tcl Embedded Systems Voip Linux Perl Vxworks Linux Kernel Cisco Ios H.323 Tcp/Ip Network Architecture Cisco Technologies Software Engineering Routing Protocols Clearcase Internet Protocol Suite Access Business Objects Microsoft Excel Oracle E Business Suite Powerpoint Spss Sql*Plus Vba Business Intelligence Business Analysis Customer Service Data Modeling Project Management Statistics