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.
More about me see "Miscellaneous" below.
RESEARCH INTERESTS
My general research interests is in applying Mathematical methods and
Computational technologies on system Modeling and Analysis.
Currently, my research area is Bioinformatics.
More specifically, I am focusing on gene duplication and biological
network evolution.
HONORS
&
AWARDS
- Schlumberger Research Fellowship, May 2007
- May 2009.
- Rice
University Graduate Fellowship, August 2006 - May 2007.
- Anhui
Provincial
Outstanding
Graduate,
May
2006.
- Guanghua
Fellowship
(Graduate
level),
University
of
Science
and
Technology
of
China
(USTC),
October 2005.
- Outstanding
Bachelor's
Degree
Thesis
in
USTC
(Grade
1),
June
2003.
- Outstanding
Student
Scholarship
(Grade
2),
USTC,
October
2002.
- Outstanding
Student
Scholarship
(Grade
3),
USTC,
October
2000.
PUBLICATIONS
- 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
USEFUL LINKS
MISCELLANEOUS
- 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. One special thing about SCGY which I
still benefit from it is that during the first two years, we need to
take all math classes as math-majored students, and physics classes as
physics-majored students.
- 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.
- I got married to Bo Zhang on May 8th, 2010. He is an amazing
husband. Here are some pictures of
our wedding. (and here).
- My Chinese name: 朱赟. 朱, pronounced as Zhu (close to "drew" in
English) is my family name, which means "red" in
Chinese. 赟, pronounced as Yun, is my given name. It reflects my
parents' best wishes that I could become knowledgeable, healthy,
and endearing.
- year 2011: My travel
notes of our anniversary trip in Europe, and the pictures.
Last
Updated:
October
29th,
2011
