T
Research Interests
Computer Architecture
Computer-Aided Microprocessor Design, Manufacturing and Testing
Educational Software
Operating Systems
Programming Languages and Type Theory
Stream Programming
Parallel Computing and Optimization Techniques
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Green IT and Sustainability
Formal Methods in Verification