Engineer Software

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

Cambridge, MA *****

Edward Z. Yang

******@***.***

Work experience Streambase,

Lexington, MA Summer 2012, Engineering Intern

Upcoming.

Jane Street, New York, NY Summer 2011, Software Development Intern

Worked on an internal asynchronous communication library and Paxos protocol.

Invented a novel algorithm for diskless crash recovery.

Microsoft Research, Cambridge, UK Spring 2011, via Cambridge University

Worked on the GHC Haskell compiler's code generator and implemented dataflow

analyses ofC-- with Simon Marlow and Simon Peyton-Jones.

Galois, Portland, OR Summer 2010, Software Engineer Intern

Worked on symbolic interpretation/formal verification as part of Cryptol, including

Haskell bindings for ABC, A System for Sequential Synthesis and Verification.

Ksplice, Cambridge, MA Winter 2010, Software Engineer Intern

Worked on a satellite server and internal infrastructure in Amazon EC2.

ITA Software, Cambridge, MA Summer 2009, Performance Engineer Intern

Developed and ran performance experiments for Polaris.

OmniTI, Brooklyn, NY Summer 2008, Software Engineer Intern

Wrote a web input fuzzer, an automated penetration tester and a web crawler.

Education Stanford University PhD Candidate

Massachusetts Institute of Technology Graduating Class 2012

Candidate for Bachelor of Science in Computer Science. GPA 5.0/5.0.

Undergraduate Advanced Project, educational system for exercises in logic

Advanced Data Structures, blame trees for e cient merging of documents

Operating Systems Engineering, live process migration

Large-scale Symbolic Systems, partial evaluator for Scheme

Chairman, Student Information Processing Board, 2009{2010

Team Leader of scripts.mit.edu, a student-run shared web hosting service.

University of Cambridge Cambridge-MIT Exchange 2010{2011

Computer Science Tripos / History and Philosophy of Science

Portfolio Blog, 2010{now http://blog.ezyang.com

BarnOwl Facebook plugin, 2011 https://github.com/ezyang/barnowl

Alternative interface for Facebook emphasizing streaming ala Twitter.

Wizard, 2009{now http://scripts.mit.edu/wizard

A Git-based implementation of user-customizable autoinstalls and upgrades.

HTML Purifier, 2006{now http://htmlpurifier.org

A comprehensive, widely used HTML filter library weighing 50k lines of OOP code.

Open source

I've worked on patches for various open-source projects, including Coq, GHC, Sup,

Git, BarnOwl, OpenAFS, Xournal, html5lib, Drupal, PHP and MediaWiki.

Skills Programming Languages: Proficient in C, Haskell, OCaml, Python, Java, shell

scripting, Javascript, PHP. Familiar with x86 assembly, Coq, SQL, Scheme, Perl.

Contact this candidate