Research interest

I am with Rice University, Department of Computer Science. My advisor is Walid Taha

My main research focus is on Resource Aware Programming. I am studying programming language techniques and related topics such as multi-stage programming, functional reactive programming, dependent types and semantics for some mathematical equations. Our group are interested in designing and devoloping programming languages for specific domains such as embedded and real-time systems.

Currently, I am involved in two projects. One is about physical system simulation. The other is about hardware design and synthesis. They are described in more details as follows.

Modeling and Simulating Physical Systems

• High level description: Poster
• Related article: Rice news

Formalizing and Enhancing Verilog

• High level description: poster

Links:

• homepage
• PSC project
• blog: Nonsense
• FaceBook
• Research Seminar

News

• (2007/11/12): Rice ranks first in 2007 Faculty Scholarly Productivity Index
• (2007/08/23): PSC project
• (2007/05/01): MetaOCaml Concoqtion released.

Access Permissions:

• Set ALLOWTOPICCHANGE = YunZhu