RESEARCH INTERESTS

• Programming language design and implementation
• Type systems,
• Compiler implementation and optimization
• Software engineering

EDUCATION

• Boston University, Boston, MA, USA
  • Ph.D. Candidate in Computer Science, September 2002 - Present.
  • Research Area: Programming Languages
    
  • Advisor: Prof. Hongwei Xi
• Tsinghua University, Beijing, P.R.China
  • B.E. in Computer Science & Technology, July, 2002

RESEARCH EXPERIENCE

• Department of Computer Science, Boston University, Boston, MA, USA
  • Research Assistant, September 2002 - Present

TEACHING EXPERIENCE

• Teaching Fellow for CS511 ”Object-Oriented Software Principles”, Spring 2004, Department of Computer Science, Boston University.
  
• Teaching Fellow for CS320 ”Concept of Programming Languages”, Fall 2003, Department of Computer Science, Boston University.
  
• Teaching Fellow for CS211 ”Paradigm of Object-Oriented Programming”, Fall 2003, Department of Computer Science, Boston University.

HONORS AND AWARDS

• Research Assistantship (Fall2002, Spring2003, Fall 2004 - Present), Department of Computer Science, Boston University.
• Teaching Assistantship (Fall2003, Spring 2003), Department of Computer Science, Boston University.

WORKING EXPERIENCE

• Student Intern (Apr. 2002 - Jul. 2002), HP Corp., Beijing, P.R.China.
  
  • Design and implement a business system for China Railway Corp.
• Software Engineer (Jan. 2002 - Mar. 2002), Digital China Corp., Beijing, P.R.China.
  
  • Implement the Front System for Shanghai Pudong Development Bank.

APPLICABLE SKILLS

• Languages: C/C++, Java, SML, OCaml, Perl, etc.
• Applications: LaTeX, Development studio, experience with Oracle and Microsoft SQL Server, etc.
• Operating Systems: Unix/Linux, Windows.

PROFESSIONAL SERVICES

• Reviewers for APLAS (2004), MetaOcaml Workshop (2005).

REFERENCES

• Available upon request.