{DSN10 logo}  

The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010)

June 28 - July 1, 2010
Fairmont Chicago –
Millennium Park
Chicago, Illinois, USA



DSN 2010 will two feature two prominent keynote speakers:

Keynote 1: "Availability in the Face of Evolving Internet Threats"

Danny McPherson
Vice President, Research and Development
VeriSign, Inc.

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.

Keynote 2: "Distributed Computing Theory Through the Ages"

Prof. Nancy Lynch
EECS Department
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 Engineering.