DSN 2010 will two feature two prominent keynote speakers:
Vice President, Research and Development
Tuesday, June 29 at 9:00 am
Danny is currently leading VeriSign Labs' research in the area of network security and availability. With nearly 20 years of experience in the Internet network operations, security and telecommunications industries, he brings tremendous technical leadership to the team in these areas. Prior to joining VeriSign, Danny was Vice President and Chief Security Officer at Arbor Networks, and previously held technology, engineering and operations positions with Amber Networks, internetMCI, Genuity (acquired by GTE Internetworking), Qwest Communications and the U.S. Army Signal Corp.
Danny has been an active participant in Internet standardization since 1996. Currently he is a member of the Internet Architecture Board (IAB), the Internet Research Steering Group (IRSG) and co-chairs the IETF's L3VPN WG. He also serves on the ICANN Security and Stability Advisory Council (SSAC) and is quite active in the network and security operations and research communities.
Danny has authored a significant number of books, Internet protocol standards, network and security research papers and other documents related to Internet architecture, routing protocols, network security, Internet addressing and network operations.
Prof. Nancy Lynch
Massachusetts Institute of Technology
Wednesday, June 30 at 8:30 am
Nancy Lynch is the NEC Professor of Software Science and Engineering
in the EECS Department at MIT. She heads the Theory of Distributed
Systems research group in MIT's Computer Science and AI Lab.
Prior to joining MIT, she served on the math faculties at Tufts,
the University of Southern California, and Florida International, and
on the Information and Computer Science faculty at Georgia Tech.
She received her B.S. degree from Brooklyn College and her PhD from
MIT, both in mathematics.
Lynch has written numerous research articles about distributed
algorithms and impossibility results, and about formal modeling and
verification of distributed systems. Her best-known research
contribution is the "FLP" impossibility result for distributed
consensus in the presence of process failures, developed with Fischer
and Paterson. Other well-known research contributions include the I/O
automata modeling framework, developed with Tuttle, Vaandrager,
Segala, and Kaynar. Her recent work is focused on algorithms for
mobile networks. She is the author of the textbook "Distributed Algorithms."
She is an ACM Fellow and a member of the National Academy of