M.S. Degree major in Computer Science,
University of California, Los Angeles, U.S.
GPA: 3.97 / 4.00

B.Eng Degree in Computer Science and Technology,
Xi’an Jiaotong University, Shaanxi, China
Major GPA: 88 / 100

• Build the infrastructure to power an open and collaborative credential data network. Help Web3 developers to leverage credential data to build better products and communities.

• Designed the Packet Header Vector (PHV) allocation algorithm of Intel’s P4 compiler for Tofino™ series (the fastest P4-programmable switch chips).
• Built an action constraints solver that is several orders of magnitude faster than directly modeling the problem in Z3.

• The core developer of Lino Blockchain: (1) author of the sybil-proof reputation algorithm. (2) architectural level design: move-based bank API, event manager, etc. (3) implementation of modules: price feeding, donation, developer/IDA, etc.
• Fullstack developer of DLive.tv, the top#1 DApp in 2019 . Backend: a payment queue service that executes blockchain-related transactions. It can merge similar transactions and ensures that one transaction will be delivered only once, and all failures are recorded (2-PC). Frontend: livestream player, misc components.
• Developer of the DLive livestream solution. Design and implementation of RTMP server optimization, transcoding scheduler, and low-latency HLS solution(HTTP chunked transfer).
• An open source project Needle: It generates idiomatic golang codes of a multi-level-cached data access layer built on MySQL, Redis and memory cache. It does syntax and type checks on MySQL statements and all generated codes are type-safe. In production, it handles 100K+ QPS easily, with only several lines of configuration of SQL statements and cache policy.
• Contribution to upstream open source project: (1) Tendermint (the most popular PBFT-like consensus engine): fix memory leak bugs, and add RocksDB support. (2) DPlayer: misc bug fixes. (3) RocksDB Golang wrapper: bug fixes.

• A protobuf search engine: For a given query (SQL-like syntax on semi-structure protobuf fields), returns a set of matched protobufs. This tool extracts 2.4M protobufs out from 60GB binary logs hourly, indexes specified fields, and save them to a NoSQL database (Big Table). It can return a result set in less than one second, out from 60M protobufs. The query syntax support exact or fuzzy match, on all types of protobuf fields (e.g. int, string, enum, and nested fields..), and it supports the ’has-a’ query on ’repeated fields’ (array), which can be combined with both fuzzy/exact match.
• A screen-diff regression test tool: when a rendering-server-related code change is submitted for code review, this tool will be triggered automatically, to build and run two different version of rendering server,replay traffic,render the returned result HTML content into images, and compare the rendered image. Unexpected differences will be captured and screen-diff image, alone with html differences, will be reported to the submitter.

• Designed and developed a web application (called ‘.Flip’ ) to support PerkSummit®, one of the most influential student conferences in southwestern China.
• This system includes student application management system, class enrollment, payment interface, a game-like achievement record system, and a Facebook-like social network.
• Used by thousands of students and the admission committee of PerkSummit®.
• Server-side: PHP, CodeIgniter framework; Client-side: Bootstrap, jQuery; Database: MySQL.

• Domain Name Service for Named Data Networking (NDNS). Design and implementation of: the NDNS security schema, NEC-like denial of existence, cache resolver, validator, and a certificate fetcher for NDNS. Publication at ICCCN: NDNS. Source code: gerrit
• Implementation and evaluation of several NDN cache policies based on NDNsim: github repo

• Silver Medal of The ACM-ICPC Asia Regional Guangzhou Site 2014
• Gold Medal and Fifth Place of The ACM-ICPC Multi-Provincial Programming Contest Chengdu Site 2013
• Gold Medal and First Place of The ACM-ICPC Shaanxi Provincial Programming Contest 2013
• Web-Based ACM Training System of XJTU, abilities includes remote code submitting and judging, code management among ACM competitors in XJTU, and training plan management.

• TrustCoq: Using machine-checked formal verification technique (Coq) to proof termination on a domain-specific language. The language describes the security schema of NDN applications. Specifically, this project formally proofed that, as long as a policy, described in this language, can pass the termination check, it will terminate in a finite number of steps.
• DUCK: A dynamic universal software system visualization kit. It can run a syntactical analysis on source code to produce interactive figures to help programmer understand the software structure. Figures can be dynamically configured, which addresses the scalability issue of visualization by letting user specify the what they want to focus. Currently, only C++ is supported, using libclang.