Wei Wu

acq1yy@r.postjobfree.com

Current Address

*** ********** ***

Apt 8

Ithaca, NY 14853 Guangzhou, Guangdong 510663

607-***-**** China

EDUCATION Cornell Univeristy, M.S. Mathematics Aug 2015

.

Zhejiang University, B.S Mathematics/Applied Mathematics CKC Honor's College (selected top 5%)

May 2012

RELEVANT

COURSES

• Numerical Analysis • Matrix Computations • Convex Analysis/Optimization • Real Analysis

• Machine Learning • Probability and Statistics • Mathematical Modeling • Artificial Intelligence

• Objective Oriented Programmng in C++ • Advanced Programming Language • Computability Theory

RELATED

EXPERIENCE

Teaching Assistant Aug 2013 - May 2015

Cornell University

• Teach and grade several undergraduate level math courses (e.g. linear algebra, calculus) and lead discussion sessions of size of 30 students.

Seminar Supervisor Jan 2011 - May 2012

Zhejiang University

• Organizing undergraduate math seminars.

OTHER

EXPERIENCE

Course Projects (Matlab) 2013 - 2015

Cornell University

• Texts classification using various machine learning and statistical methods (e.g. PCA, k-means clustering, random projection)

• Speech/word recogonition using EM-algorithm based on hidden Markov model and Gaussian mixture model.

• Image deblurring using numerical analysis and implementing various methods (e.g. Tikhonov regularization, least square QR factorization).

• Implementing various optimization algorithms (e.g. FISTA, ADMM) to solve optimization/statistical problems (e.g. LASSO, quadratic programming).

• Road planning based on matrix analysis (1 dimension matrix update). Little Fugue: An Automated Theorem Prover 2011 - 2012 Zhejiang University

• Collaborating with friends from different majors (CS, physics), we create a brand new model for proof mining by transforming theorem proving procedures into a (recursive) matrix computation problems. We designed a new data structure and implement this new idea completely from scratch without using any pre-existing packages/languages. The program finally generates all the

(human-readable) proofs of propositional theorems from Bertrand Russell's Principia Mathematica and many other benchmark problems.

• Project Homepage: http://www.cs.zju.edu.cn/littlefugue SKILLS Programming Languages: C++, Matlab

Languages: English, Mandarin/Cantonese Chinese

PROFESSIONAL

AFFILIATIONS

American Math Society • Association of Symbolic Logic • The Associationg for Automated Reasoning HONORS AND

AWARDS

• Graduate Student Fellowship, Cornell University

• Honor's Degree, CKC Honors College, Zhejiang University

Contact this candidate