Frontend mobile game developer in Xinyoudi Studio, Leqee Company, 2014/7–current.

I joined Microsoft Visual Perception Laboratory of Zhejiang University in 2010 when I was a junior student. Under the direction of Prof. Mingli Song, I started reading papers in the wide area of Speech-driven facial animation, Speech emotion recognition, AED (Audio event detection), Music emotion recognition, Sound localization, Unstructured audio scene recognition and also Image inpainting and Image completion. Later, we combined the research work of image scene classification and auditory scene recognition, and develop an approach to recognize the scene sounds of images. That is, given an image, to find the environmental sounds that are fit to the scene of the image. Probabilistic Latent Semantic Analysis (pLSA) and Matching Pursuit (MP) algorithms are applied to extract the features of training images and sounds respectively. Then machine learning approach is used to recognize the corresponding environmental sounds for the specified image. In the training stage, For each image, pLSA is used to obtain its topic distribution P(z|d) while MP algorithm is used to get the first 10 Gabor atom reconstructed signal for each environmental sound. We joint topic distribution P(z|d) of image with the reconstructed signal of the corresponding audio to obtain the vectors of mixed feature of the training pair of images and sounds. And then we calculate the cluster indices of each vector of mixed features and the centroid locations of the clusters. In the testing stage, For an input image, we mix its topic distribution P(z|d) with the reconstructed signal of different audio to get different vectors of mixed features. Then we compare this set of testing mixed features with the centroid vector of training clusters and obtain the category of the test mixed feature vector which is most similar to the centroid vector of a certain training cluster. The target audio are the sounds in the same category.

During my stay at Proval Group as a research intern, I was working on my bachelor's thesis "automated constraint verification for databases" under the guidance of Véronique Benzaken and Évelyne Contejean. Our motivation of this thesis is from the observation that currently no real DBMS (database management system) have fully support the management of integrity constraints. Instead, they use triggers as an alternative. However, the behavior of triggers is complex and the semantics of them are hard to understand. We present a strategy to automatically verify the integrity constraints of databases. Our method is based on the weakest precondition and predicate transformer approaches. First we reduce database integrity constraints in SQL into SQL assertions, and then transfer assertions into FOL (first-order logic) formula. Based on the logical formalization of both SQL assertions and data modification operations, we implement integrity constraints checking for databases with the help of the program verification platform Why3. For the input SQL statements, our program translate them into WhyML program, later Why3 is called to compute the weakest preconditions and generate the verification conditions for the back-end provers (such as Alt-Ergo, CVC3, etc.). Finally the provers will check whether the databases after executing the data modification operations satisfy the constraints. All the process is fully automatic. My bachelor's thesis now is available in Chinese and the English slides are also available. The source code is opened under the GPLv3. (View assertion-verification on GitHub)

Now I am working on issues related to cloud storage system, and erasure codes. Recently, I implemented a GPGPU approach to accelerate Reed-Solomon coding. Source code and some documents are available. (View GPU-RSCode on GitHub)

Music

I am a Classical music fan, and I love playing the violin.
You may be interested in the short essay Innovation and Conservation -- Classical Music of the UK written by me when I was a sophomore.

Sports

My favourite sports are badminton and table tennis. I also like watching tennis and basketball games.