Curriculum Vitae

Angela Yun Zhu

Dept. of Computer Science, Rice University, 6100 S. Main Street, Houston, TX 77005-1892, USA

Phone: +1(832) 373-1812   Office: Duncan Hall (DH) 2062

Email: angela.zhu@rice.edu         Webpage: http://www.cs.rice.edu/~yz2/

Education

Ph.D. in Computer Science, Rice University, 2006-present

M.S. in Computer Science, University of Science and Technology of China (USTC), 2006

B.S. in Computer Science, Special Class for the Gifted Young (SCGY), USTC, 2003

Research Interests

Embedded Systems, Programming Languages, 　Mechanical System Simulation, Formal Methods.

Publications

1. Roumen Kaiabachev, Walid Taha,, Angela Yun Zhu, Walid Taha. E-FRP with Priorities. Accepted by EMSOFT 2007.

2. Cherif Andraos, Jennifer Gillenvater, Gregory Malecha, Angela Yun Zhu, Walid Taha, Jim Grundy, John O’Leary. Synthesizable Verilog. Accepted by HFL 07.

3. Angela Yun Zhu, Xi Li, Laurence T. Yang and Jun Yang. A Fast Instruction Set Evaluation Method for ASIP Designs. LNCS 4096, The 2006 IFIP International Conference on Embedded and Ubiquitous Computing (EUC-06). Seoul, Korea, pp. 489-498. August 01-04, 2006.

4. Yun Zhu, Xi Li, Si-yang Zhao and Yu-chang Gong, Implementation of a semi-formal verification for embedded systems Proceeding s of the 2005 International Conference on Embedded Software and Systems ( ICESS-05). Xi’an, China. pp.204-210. Dec. 2005.

5. Yun Zhu, Xi Li, Yu-chang Gong and Zhi-gang Wang, Petri Net based formal modeling for ASIP Architecture. Mini-Micro Systems (Chinese Computer Science Journal). Vol 9, 2005.

6. Yun Zhu, Xi Li, Yu-chang Gong and Zhi-gang Wang, PN-based Formal Modeling and Verification for ASIP Architecture. Proceedings of the 2004 International Conference on Embedded Software and Systems (ICESS-04), Lecture Note in Computer Science 3605. Hangzhou, China.  pp.203-209. Dec. 2004.

7. Yun Zhu. Petri net based modeling and verification for ASIP Architectures. Master’s thesis, University of Science and Technology of China, June 2006.

8. Yun Zhu. Study on the Architecture Dscription Languages. Bachelor’s thesis, University of Science and Technology of China, June 2003.

Honors & Awards

· Schlumberger (SLB) Research Fellowship (Summer 2007 –2009).

· Rice University Graduate Fellowship (August 2006　 May 2007).

· Anhui Provincial Outstanding Graduate, Anhui, China. May. 2006.

· Guanghua Fellowship (Graduate level), USTC, Oct. 2005. One of the 5 winners out of 80.

· Outstanding Bachelor’s Degree Dissertation in USTC (Grade 1), Jun 2003

· Outstanding Student Scholarship (Grade 2) , USTC, Oct, 2002

· Outstanding Student Scholarship (Grade 3) , USTC, Dec., 2000

References

Walid Taha,

Professor of CS, Rice University.

Email: taha@rice.edu             Homepage: http://www.cs.rice.edu/~taha/