Have advanced knowledge in building high performance and scalable distributed systems, cloud computing, algorithm design, test automation, and formal methods. Have a solid track of record of delivering high quality results on time. Specialties: Distributed Systems, Scalable Services, Low Latency, Concurrency, Performance Analysis, Static Program Analysis, and Formal Methods Languages: C++, C, C#, Java, JavaScript, Python, Perl, Ocaml, SQL, CSS

Software Engineer @ In the Microsoft Windows Azure monitoring and diagnostics (MDS) team. Led the MDS multi-tenancy project that enabled multi-tenancy for MDS services. Designed the MDS multi-tenancy solution, and led the implementation. This project allowed MDS to provide required isolation and security for customers, and improved the Qos of MDS services. Designed and implemented the scalable data access solution for MDS services. Improved various aspects of the monitoring agent. Participated in the design, implementation, and operation of the Windows performance test service. This service was responsible for guaranteeing the performance of Windows operation system, and promptly detecting performance regressions in Windows’ daily development. Worked on the whole pipeline, from the test automation backend, data storage and processing, to the reporting front end. From April 2009 to November 2013 (4 years 8 months) Research Assistant @ Worked on efficient dynamic verification of concurrent programs, distributed model checking, MPI program verification, and hierarchical cache coherence protocol verification. Design and implement Inspect, a dynamic verifier for revealing the concurrency related bugs in multithreaded C programs. From August 2004 to March 2009 (4 years 8 months) Greater Salt Lake City Area

Ph.D. @ University of UtahM.E. @ Chinese Academy of SciencesB.S. @ Nanjing University Yu Yang is skilled in: Distributed Systems, Algorithms, Cloud Computing, C, Java, Perl, Concurrent Programming, Scalability, C#, Software Engineering, C++, Web Applications, Network Programming, Big Data, Python