S
Research Interests
Graphics (gr)
Human-Computer Interaction (hci)
Programming Systems (ps)
Scientific Computing (sci)
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
Software Engineering Research
Distributed and Parallel Computing Systems
Embedded Systems Design Techniques