K
Research Interests
Communication Protocols
Computer Networks
Telecommunications
Wireless Networking
Formal Methods in Verification
Software Testing and Debugging Techniques
Interconnection Networks and Systems
Distributed Systems and Fault Tolerance
Embedded Systems Design Techniques