Research includes computer security, networking, internet applications, programming language design, software model checking, and distributed algorithms and protocol design. Labs Included:
