Computer networking with a focus on congestion control and robust protocols

Design of networks and operating systems for supporting emerging applications and services.

Languages and methodologies for effective binding of program semantics to I/O data syntax.

Distributed systems and networking

Operating systems, distributed computing and computer networks