Simon Lam
Professor Emeritus
Research
Research Areas:
Research Interests:
- Computer network protocol design
- Internet security services
- Protocol verification
- Performance analysis
Select Publications
Scalable Verification of Networks With Packet Transformers Using Atomic Predicates.IEEE/ACM Transactions on Networking, Volume 25, No. 5, October 2017. Pages 2900-2915.
.Real-time Verification of Network Properties using Atomic Predicates.IEEE/ACM Transactions on Networking, Volume 24, No. 2, April 2016. Pages 887-900.
.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.
.Digital Signatures for Flows and Multicasts.IEEE/ACM Transactions on Networking, Vol. 7, No. 4, August 1999. Pages 502-513.
.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
Contact Info
Simon Lam
Regents' Chair Emeritus in Computer Sciences #1
(512) 471-9531
GDC 6.418