About Me

I am a fifth year Ph.D. student at RIce University. My advisor is Prof. Luay K. Nakhleh. I've got my Bachlor degree in Computer Science in 2003, and my first Master degree in Computer Engineering in 2006, both at the University of Science and Technology of China (USTC). My research area was formal modeling and verification for ASIP architectures.
In 2006, I got a Master degree in Computer Science from Rice, advised by Prof. Walid Taha. My research topic was about programming launguage design and dynamic system modeling and simulation. After that, I have worked as a software engineer in Schlumberger for about one year.

Yun "Angela" Zhu
(朱赟)

Ph.D. Candidate
Bioinformatics Group
Department of Computer Science
Rice University

Contact

Address:
6100 Main Street
MS 132
Houston, TX 77005

Email:
angela.zhu@rice.edu

More About Me

• I went to college at an age of 15, as one of the 30~40 students accepted by the Special Class for Gifted Young (SCGY) among thousands of applicants in China in 1999. SCGY is a special program in USTC and I am very pround that I graduated from it.
• I was once a good Latin dancer and a member of the USTC Latin Team. We perfomed and competed in several occasions on campus. Here are a few pictures of them. I always miss those great events and wonderful time.
• Year 2010: I got married to Bo Zhang on May 8th. He is an amazing husband. Here are some pictures of our wedding. (and here).
• Year 2011: My travel notes of our anniversary trip in Europe, and the pictures.
  
• Year 2012: Mia was born!

Research Interests

My general research interests is in applying Mathematical methods and Computational technologies to solve problems. I am especially interested in Software Engineering and Data Analysis.
Currently, I am working on understanding the role of gene duplication in protein-protein interaction network evolution.

Honors & Awards

• Top hacker at Rice University in HackerRank's Back to School hackathon, 2013
• Schlumberger Research Fellowship, May 2007 - May 2009.
• Rice University Graduate Fellowship, August 2006 - May 2007.
• Anhui Provincial Outstanding Graduate, May 2006.
• Guanghua Fellowship, USTC, October 2005.
• Outstanding Bachelor's Degree Thesis in USTC (Grade 1), June 2003.
• Outstanding Student Scholarship, USTC, 2000 - 2002

Publications

Bioinformatics

• Yun Zhu, Peng Du, Luay Nakhleh. “Gene Duplicability-Connectivity-Complexity Across Organisms and a Neutral Evolutionary Explanation. PLoS One 2012.
• Yun Zhu, Luay Nakhleh. “Reconstructing the Evolution of Molecular Interaction Networks under the DMC and Link Dynamics Models”, WABI 2012. Ljubljana, Slovenia. September 2012.

Language Design and Physical System Modeling and Simulation

• Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Marcia O'Malley, Robert Cartwright, Aaron Ames, Raktim Bhattacharya. “Mathematical Equations as Executable Models of Mechanical Systems”, ICCPS '10. Stockholm, Sweden. April 2010.
• Yun Zhu. “Acumen: An Environment for Rapid Prototyping of Cyber-physical System”, Master’s thesis, Rice University, May 2009.
• Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek. “In Pursuit of Real Answers”, International Conference on Embedded Software and Systems (ICESS-09). Hangzhou, China. May 2009.
• Angela Yun Zhu, Jun Inoue, Marisa L. Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell. “Implementing Haptic Feedback Environments from High-level Descriptions”, International Conference on Embedded Software and Systems (SHOES-09). Hangzhou, China. May 2009.
• Chaitanya Belwal, Albert M.K. Cheng, Walid Taha, Angela Zhu. “Timing Analysis of the Priority-Based FRP System”, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, St. Louis, MO, USA. April, 2008.
• Roumen Kaiabachev, Angela Yun Zhu, Walid Taha. “E-FRP with Priorities”, Partial Evaluation and Program Manipulation (PEPM), San Francisco, CA, USA. January 7-8, 2008.
• Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary. “Synthesizable High Level Hardware Descriptions”, Partial Evaluation and Program Manipulation (PEPM), San Francisco, CA, USA. January 7-8, 2008.
• Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary. “Formalizing and Enhancing Verilog”. Technology and Talent for the 21st Century (TECHCON), Austin, TX, USA. 2007.
• Cherif Andraos, Jennifer Gillenwater, Gregory Malecha, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary. “Synthesizable Verilog”,　Workshop on Hardware Design and Functional Languages (HFL), Braga, Portugal. 2007.

Formal Modeling and Verification of ASIP Architecture

• Angela Yun Zhu, Xi Li, Laurence T. Yang, 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 1-4, 2006.
• Yun Zhu, Xi Li, Si-yang Zhao, Yu-chang Gong. “Implementation of a Semi-Formal Verification for Embedded Systems”, Proceedings of the 2005 International Conference on Embedded Software and Systems (ICESS-05). Xi’an, China. pp.204-210. December 2005.
• Yun Zhu, Xi Li, Yu-chang Gong, Zhi-gang Wang. “Petri Net Based Formal Modeling for ASIP Architecture”, Journal of Mini-Micro Systems. Vol. 9, 2005.
• Yun Zhu, Xi Li, Yu-chang Gong, 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. December 2004.
• Yun Zhu. “Petri Net Based Modeling and Verification for ASIP Architectures”, Master’s thesis, University of Science and Technology of China, June 2006.
• Yun Zhu. “Study on the Architecture Description Languages”, Bachelor’s thesis, University of Science and Technology of China, June 2003.

Papers I contributed in Mathematical Modeling and Proofs

• Bo Zhang, Guohui Wang, Yun Zhu, T. S. Eugene Ng, “Router Group Monitoring: Making Traffic Trajectory Error Detection More Efficient”, IEEE Transactions on Network and Service Management. Volume 7, Issue 3, September 2010, page 158-171.

© 2013, Rice University