Simon Lam
Professor Emeritus
Research
Research Areas:
Research Interests:
- Computer network protocol design
- Internet security services
- Protocol verification
- Performance analysis
Select Publications
Hongkun Yang, Simon S. Lam. Scalable Verification of Networks With Packet Transformers Using Atomic Predicates. IEEE/ACM Transactions on Networking, Volume 25, No. 5, October 2017. Pages 2900-2915.
Hongkun Yang, Simon S Lam. Real-time Verification of Network Properties using Atomic Predicates. IEEE/ACM Transactions on Networking, Volume 24, No. 2, April 2016. Pages 887-900.
Simon S. Lam, Chen Qian. Geographic Routing in d-dimensional Spaces with Guaranteed Delivery and Low Stretch. IEEE/ACM Transactions on Networking, Vol. 21, No. 2, April 2013. Pages 663-677.
Chung Kei Wong, Simon S Lam. Digital Signatures for Flows and Multicasts. IEEE/ACM Transactions on Networking, Vol. 7, No. 4, August 1999. Pages 502-513.
Thomas Woo, Raghuram Bindignavle, Shaowen Su, Simon S. Lam. SNP: An Interface for Secure Network Programming. Proceedings USENIX '94 Summer Technical Conference, Boston, June 1994..
Awards & Honors
2007 -
Election to the National Academy of Engineering
2007 -
Teaching Excellence Award, College of Natural Sciences, UT-Austin
2004 -
ACM Software System Award
2004 -
ACM SIGCOMM Award for lifetime contribution to the field of communication networks
2004 -
W. Wallace McDowell Award, IEEE Computer Society
2001 -
William R. Bennett Prize, IEEE Communications Society
1998 -
ACM Fellow
1985 -
IEEE Fellow
1975 -
Leonard G. Abraham Prize, IEEE Communications Society