Biography
As a networking researcher, I apply database, formal methods and programming language techniques to create and
automate management of flexible, reliable, and provably correct networks.
Courses Taught
Number | Name | Level |
|---|---|---|
CIS 2033 | Computational Probability and Statistics | Undergraduate |
CIS 4319 | Computer Networks and Communications | Undergraduate |