big tits
big tits
al-ama
al-ana
al-asi
al-bbw
al-bds
al-blo
al-boo
al-ebo
al-foo
al-gro
al-gy
al-han
al-har
al-int
al-lat
al-les
al-mat
al-mil
al-pan
al-par
al-pis
al-shm
al-tee
al-voy
ce-ama
ce-ana
ce-asi
ce-bbw
ce-bds
ce-blo
ce-boo
ce-ebo
ce-gy
ce-har
ce-int
ce-lat
ce-les
ce-mat
ce-mil
ce-pan
ce-pis
ce-shm
ce-tee
ce-voy
vi-ama
vi-ana
vi-ani
vi-asi
vi-bbw
vi-bds
vi-blo
vi-boo
vi-ebo
vi-foo
vi-gro
vi-gy
vi-han
vi-har
vi-inc
vi-int
vi-lat
vi-les
vi-mat
vi-mil
vi-pan
vi-par
vi-pis
vi-shm
vi-tee
vi-uni
vi-voy

Start of topic | Skip to actions

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.