Please join us next week as we host our second Distinguished Lecture…
UNIVERSITY OF WASHINGTON, Seattle, Washington 98195
Computer Science and Engineering
*DISTINGUISHED LECTURE*
SPEAKER: Silvio Micali, MIT Computer Science and Artificial Intelligence
Laboratory (CSAIL)
TITLE: Proofs, Secrets, and Computation
DATE: Thursday, November 7, 2013
TIME: 3:30pm
PLACE: EEB-105
HOST: Anna Karlin
ABSTRACT:
We show how Theory of Computation has revolutionized our millenary notion
of a proof, revealing its unexpected applications to our new digital
world.
In particular, we shall demonstrate how interaction can make proofs much
easier to verify, dramatically limit the amount of knowledge released, and
yield the most secure identification schemes to date.
Bio:
Silvio Micali has received his Laurea in Mathematics from the University
of Rome, and his PhD in Computer Science from the University of California
at Berkeley. Since 1983 he has been on the MIT faculty, in Electrical
Engineering and Computer Science Department, where he is Ford Professor of
Engineering.
Silvio’s research interests are cryptography, zero knowledge,
pseudo-random generation, secure protocols, and mechanism design.
Silvio is the recipient of the Turing Award (in computer science), of the
Goedel Prize (in theoretical computer science) and the RSA prize (in
cryptography). He is a member of the National Academy of Sciences, the
National Academy of Engineering, and the American Academy of Arts and
Sciences.
Reception to follow the talk in the Atrium, Paul G. Allen Center for
Computer Science & Engineering.
*NOTE* This lecture will be broadcast live via the Internet. See
http://www.cs.washington.edu/news/colloq.info.html for more information.
Email: talk-info@cs.washington.edu
Info: http://www.cs.washington.edu/
(206) 543-1695
The University of Washington is committed to providing access, equal
opportunity and reasonable accomodation in its services, programs,
activities, education and employment for individuals with disabilities.
To request disability accommodation, contact the Disability Services
Office at least ten days in advance of the event at: (206) 543-6450/V,
(206) 543-6452/TTY, (206) 685-7264 (FAX), or email at
dso@u.washington.edu.
_______________________
Please join the eScience Institute Wednesday, November 6, 4:00 pm in SIEG HALL Room 233. Refreshments will be provided.
Clark Gaylord (Virginia Tech Transportation Institute):
Data-intensive Scientific Workflow and “Big Data” in Transportation Research
The Strategic Highway Research Program (SHRP2) Naturalistic Driving Study is a cornerstone of transportation safety research, led by the Virginia Tech Transportation Institute (VTTI). VTTI researchers innovated the naturalistic driving study methodology, and previous VTTI efforts, for example the National Highway Traffic Safety Administration (NHTSA) “100 Car” study, have made ground-breaking contributions to the field of transportation safety. The SHRP2 study observes over 3,000 participants in their normal day-to-day driving to understand how the driver interacts with and adapts to the vehicle, traffic environment, roadway characteristics, traffic control devices, and the environment. The study concludes data collection in December 2013, resulting in a repository of over 1.5PB of heterogeneous data, with expected useful life of over 20 years.
In this talk, we will discuss the data challenges of naturalistic driving studies and peta-scale data-intensive science. These data in various ways satisfy the “volume, velocity, and variety” we often associate with “Big Data”, while at the same time being gathered in a rather “data collection hostile” environment. This presents some unique challenges not only of scale but data management and quality. The infrastructure to manage and analyze these data are as varied as the data, with peta-scale cluster file systems, parallel databases, and compute clusters. Mr Gaylord will describe various aspects of these challenges and how they are addressed, from VTTI’s data center architecture to data models, as well as sharing some “lessons learned”. The design of VTTI’s scalable “agent-based” workflow engine will also be described in some detail.
Mr. Clark Gaylord is the chief information officer for the Virginia Tech Transportation Institute (VTTI) and director of VTTI’s data center operations. He is the principal architect of VTTI’s “Scientific Data Warehouse”, integrating high-performance computing, parallel database, and peta-scale file system technologies to enable VTTI’s data-intensive scientific research. Since 2008, Mr. Gaylord has led VTTI’s strategic direction for information technology, data center infrastructure, “Big Data” data management and analysis.
Mr. Gaylord has been at Virginia Tech in various capacities for over twenty years and has held several roles of IT leadership. Prior to joining VTTI, he was IT Operations Lead with the Virginia Bioinformatics Institute and Lead Research Engineer with Virginia Tech’s Telecommunications Auxiliary.
VTTI’s was the recipient of CIO Magazine’s “CIO 100” award in 2012 for the effective use of large scale data intensive and high performance computing infrastructure.
