Education
  • Yale University
    • Ph.D. in Computer Science, 2002
    Dissertation: Functional Reactive Programming for Real-Time Reactive Systems
    Advisor: Professor Paul Hudak
  • Yale University
    • M.Phil. in Computer Science, 2002
  • Yale University
    • M.S. in Computer Science, 1998
  • Institute of Software, Chinese Academy of Sciences, Beijing, China
    • M.S. in Computer Software, 1997
  • University of Science and Technology of China
    • B.S. in Computer Science, 1994
Honors
  • Henry Fan Fellowship, Yale University, 1997-1999
  • President Fellowship (highest honor for academic excellence), Chinese Academy of Sciences, 1997
  • First Class Elite Scholarship, Chinese Academy of Sciences, 1995
  • Baogang Scholarship, University of Science and Technology of China, 1994
  • Meritorious in the Mathematical Contest in Modeling, Consortium for Mathematics and Its Applications (COMAP) of USA, 1994
  • Outstanding in the Mathematical Contest in Modeling, Association of Industrial and Applied Mathematics of China, 1993
Research
  • Yale University Department of Computer Science, 1998-2002
    • The Functional Reactive Programming (FRP) Project, funded by NSF and DARPA.  FRP is a declarative language for reactive systems.  I defined a formal semantics for FRP, and proved the correctness of an implementation of it.  I also explored the design space of FRP, improved the language, and developed resource-bounded variants of FRP for real-time and embedded stems.
  • Institute of Software, Chinese Academy of Sciences, 1995-1997
    • Designed and implemented the specification base management sub-system of SAQ, a CASE tool for acquisition, verification and reusing of software specifications.  Improved the efficiency of the specification acquisition process by an order of magnitude.
  • University of Science and Technology of China, 1990-1994
    • Designed algorithms for digital image compression/encryption and parallel CT image reconstruction.  Developed a hand-written Chinese character recognition system.
Teaching
  • University of Science and Technology of China, Hefei, China, Sept. 2001
    • Lectured on functional programming and Functional Reactive Programming.
  • Yale University, New Haven, CT, 1998-2001
    • Teaching assistant and guest lecturer for Autonomous Systems, Formal Semantics, Functional Programming, Introduction to System Programming and Computer Organization, and Introduction to Computer Science.  Organizer for the Advanced Methods in Programming Languages seminar series.
  • Neijiang Institute of Building Design, Sichuan, China, Summer 1990
    • Taught a course on programming in FORTRAN to a group of architects and engineers.
Service
    Reviewer for the Journal of Functional Programming, Software - Practice & Experience, International Conference on Functional Programming, and Haskell Workshop.
Industry
  • Microsoft, Redmond, WA, Oct 2002 - Feb 2005
    Software Design Engineer.
  • Microsoft, Redmond, WA, Summer 1998 and summer 1999
    • Software Design Engineer Intern.  Wrote a tool for automating the testing of COM software components.  Designed and implemented part of a diagramming API employed by many Microsoft products, including Windows, SQL Server, and Visual Studio.  Received the highest performance rating in the final review.
  • Yale University, 1998
    • Added operation statistics for the CODA distributed file system to the Linux kernel.
  • China Software Technology and Services Corp., Beijing, China, 1995-1997
    • Software Engineer (part-time).  Developed a full text Chinese search engine and a Chinese word processor for UNIX.
  • Sunhill Technology Company, Beijing, China, 1996-1997
    • Software Engineer (part-time).  Chief architect for a News Compilation and Manipulation System used by the China News Services.
  • Sun-USTC Institute, Hefei, China, 1994
    • Software Engineer.  Developed a management system for the Nippon Telegraph and Telephone Corporation (NTT).
  • Neijiang Transformer Factory, Sichuan, China, 1991
    • Software Engineer (part-time).  Designed and implemented a tool for designing large electric transformers.
Publications
  • Functional Reactive Programming for Real-Time Reactive Systems, Zhanyong Wan

    • Ph.D. dissertation, Dept of Computer Science, Yale University, 2002
  • Event-Driven FRP, Zhanyong Wan, Walid Taha, and Paul Hudak

    • International Symposium on Practical Aspects of Declarative Languages (PADL), 2002
  • Having Fun with Functional Programming, Zhanyong Wan

    • Lecture at the University of Science and Technology of China, Hefei, China, Sept. 2001
  • Directions in Functional Programming for Real(-Time) Applications (Invited Paper),

    • Walid Taha, Paul Hudak, and Zhanyong Wan
    International Workshop on Embedded Software (EMSOFT), 2001
  • Real-Time FRP, Zhanyong Wan, Walid Taha, and Paul Hudak

    • International Conference on Functional Programming (ICFP), 2001
  • Functional Reactive Programming from First Principles, Zhanyong Wan and Paul Hudak

    • ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000
  • Computer-Aided Simulation (a chapter of the book A Series of Lectures on Mathematical Contest in Modeling), Zhanyong Wan

    • Jiangsu Educational Press, 1995
  • Digital Image Compression Using Orthogonal Gold Matrices, Zhanyong Wan and Jinkang Zhu

    • National Conference on Information and Communication Theory, Xi'an, China, 1991
Research Interests
Semantics, design and implementation of programming languages (in particular domain-specific languages), compilers, and functional programming