J
Research Interests
High-Performance Computing (compiler Optimization)
Programming Languages (compiler Optimization, Formal Verification and Testing)
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
Software Testing and Debugging Techniques
Embedded Systems Design Techniques
Formal Methods in Verification