R
Research Interests
Compilers for Embedded Systems
Embedded Domain-Specific Languages
Functional Languages
Program Analysis and Optimization
Parallel Computing and Optimization Techniques
Embedded Systems Design Techniques
Interconnection Networks and Systems
Logic, Programming, and Type Systems
Formal Methods in Verification