Mark A. Smith
Mark Smith is the first MIT Ph.D. in Computer Science. He earned his Ph.D. in Theoretical Computer Science from the Theory of Distributed Systems Group in the Laboratory for Computer Science at Massachusettes Institute of Technology in 1997. Until 1999 Dr. Smith served as Senior Technical Staff Member in the Specification and Algorithms Research Department at AT&T Labs -- Research . Recently, he has been hired by Lucent Technologies.
His general area of interest is distributed algorithms and formal verification techniques.
RESEARCH
Mark A. Smith and K. K. Ramakrishnan ,Formal Verification of Safety and Performance Properties of TCP Selective Acknowledgment In Proceedings of ICNP'98, Austin, Texas, October 1998.
Mark A. Smith and K. K. Ramakrishnan, Formal Verification of Safety and Performance Properties of TCP Selective Acknowledgment AT&T Labs Technical Memorandum HA171000-990105-01TM, HA175000-990105-01TM, January 1999. Full version of conference paper.
Mark A. Smith Reliable Message Delivery and Conditionally-Fast Transactions are not Possible without Accurate Clocks In Proceedings of the 17th Annual ACM Symposium on Principles of Distributed Computing, Puerto Vallarta Mexico, June 1998.
Mark A. Smith, Formal Verification of Communication Protocols In Reinhard Gotzhein and Jan Bredereke, editors Formal Description Techniques IX: Theory, Applications, and Tools FORTE/PSTV'96: Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification, Kaiserslautern, Germany, October 1996, pages 129-144. Chapman & Hall, 1996.
Baruch Awerbuch , Lenore Cowen, and Mark Smith Efficient Asynchronous Distributed Symmetry Breaking In Proceedings of the 26th Annual Symposium on the Theory of Computation, Montréal, Canada, May 1994.
| This website was created by and is maintained
by Dr. Scott Williams, Professor of Mathematics State University of New York at Buffalo |
|
|
|
|
