Qi Zhang's Email & Phone - Google - San Mateo, California, United States

Qi Zhang's Work Experience

Google

Software engineer

October 2011 to Present

Kittypad

IOS Software Developer

May 2011 to October 2011

Broad Street Analytics

Junior Software Developer

June 2010 to August 2010

Qi Zhang's Education

University of Pennsylvania

Master Computer and Information Science

2008 to 2010

Tsinghua University

B.S. Computer Science

2004 to 2008

Qi Zhang's Professional Skills Radar Chart

Based on our findings, Qi Zhang is ...

Innovative

Critical

Cause-and-effect oriented

What's on Qi Zhang's mind?

Based on our findings, Qi Zhang is ...

52% Left Brained

48% Right Brained

Qi Zhang's Estimated Salary Range

About Qi Zhang's Current Company

Google

Frequently Asked Questions about Qi Zhang

What company does Qi Zhang work for?

Qi Zhang works for Google

What is Qi Zhang's role at Google?

Qi Zhang is Software engineer

What is Qi Zhang's personal email address?

Qi Zhang's personal email address is a****[email protected]

What is Qi Zhang's business email address?

Qi Zhang's business email addresses are not available

What is Qi Zhang's Phone Number?

Qi Zhang's phone (213) ***-*343

What industry does Qi Zhang work in?

Qi Zhang works in the Computer Software industry.

Who are Qi Zhang's colleagues?

Qi Zhang's colleagues are Diksha Mahtani, Paul Campbell, Ankita Gupta, Amruta Joshi, Jon Stona, Vidit Agrawal, Nikunj Handa, Yi Loo, Shilpak Mahadkar, and Amaresh Mohan

About Qi Zhang

📖 Summary

Oct.2011-now, software engineer in Google May.-Sep. 2011 developing applications on iPad/iPhone Sep.–Nov. 2010 Survey in Program Synthesis, synthesis of executable programs from given high-level speciﬁcations, making programming easier for programmers as well as allowing users with diverse background but little knowledge in coding to develop programs by themselves. Mar.–Jun. 2010 Proof Search in First-order Logic.This project implements the technique of inverse method for forward search of proofs in ﬁrst-order intuitionistic logic, which is based on sequent calculus. Aug.–Oct. 2009 Parametricity in Polymorphic Linear λ-calculus (co-author). This project formalizes parametricity of a polymorphic linear lambda calculus and illustrates some application examples. Oct.–Dec. 2008 Image&Audio Distinguishment Project (group project) Mar.–Jul. 2007 Ray Tracing Project, this project implements ray tracing method for 3D image generation by simulating various eﬀects such as reﬂection, texture, etc. Oct.–Dec. 2006 Decaf Project, Decaf is a Java-like but much simpliﬁed object-oriented language. This project implements a compiler for Decaf including the parser, semantic translation to the intermediate representation (TAC and abstract trees), and optimizations on translation to target assembly language which realizes tail-call elimination.Software engineer @ From October 2011 to Present (4 years 3 months) IOS Software Developer @ Developing apps on IOS From May 2011 to October 2011 (6 months) Junior Software Developer @ Extending C++ with Type Constructors and Pattern Matching (co-author), type constructions and pattern matching are features in ML-style languages like OCaml. These extensions are added to C++ in this project with support to error detection and templates, making tree-like data structures easy to construct and handle. New York City, Intern Project (Compiler) Implementing language: OCaml, Python From June 2010 to August 2010 (3 months) Master, Computer and Information Science @ University of Pennsylvania From 2008 to 2010 B.S., Computer Science @ Tsinghua University From 2004 to 2008 Qi Zhang is skilled in: Python, Java, C++, Linux, C#, SQL, Programming, Objective-C, Matlab, LaTeX, Windows, Program Management, OS X, Data Structures, Distributed Systems

Qi Zhang’s Personal Email Address, Business Email, and Phone Number

are curated by ContactOut on this page.

10x your recruitment & sales conversations

Contact over 200M professionals
instantly by email or phone. Reveal
personal & work email addresses, as
well as phone numbers accurately with
our ContactOut Chrome extension.