ESE Colloquia & Events

Fall 2015-Spring 2016

ESE colloquia are held on Tuesdays from 11-12:00pm in Towne 337, unless otherwise noted. For all Penn Engineering events, visit the Penn Calendar.

To be added to the ESE Events mailing list (which sends notifications regarding all departmental colloquia, seminars, and events) please email us at ESEevents@seas.upenn.edu.

Fall 2015

Keren Bergman

September 15
Boon Thau Loo , University of Pennsylvania
Title: Declarative Network Programming: From Implementation, to Verification, and Synthesis

Read the Abstract and Bio

Abstract: Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a dataflow framework for execution. This talk describes advances in declarative networking, tracing its evolution from a rapid prototyping framework towards a platform that serves as an important bridge connecting formal theories for reasoning about protocol correctness and actual implementations. The second half of the talk explores new frontiers in declarative network synthesis, in particular, our recent work on NetEgg, a scenario-based programming framework that allows network operators to program network policies by describing representative example behaviors. Given these scenarios, our synthesis algorithm automatically infers the controller state that needs to be maintained along with the flow-table rules to process network events and update state. The talk concludes with an outline of ongoing research directions, in the areas of declarative automation in software-defined data centers.

Bio: Boon Thau Loo is an Associate Professor in the Computer and Information Science (CIS) department at the University of Pennsylvania. He is also the CIS Masters Chair, overseeing all masters programs within the CIS department, and Director of the Master of Science in Engineering in CIS program. He received his Ph.D. degree in Computer Science from the University of California at Berkeley in 2006. Prior to his Ph.D, he received his M.S. degree from Stanford University in 2000, and his B.S. degree with highest honors from UC Berkeley in 1999. His research focuses on distributed data management systems, Internet-scale query processing, and the application of data-centric techniques and formal methods to the design, analysis and implementation of networked systems. He was awarded the 2006 David J. Sakrison Memorial Prize for the most outstanding dissertation research in the Department of EECS at UC Berkeley, and the 2007 ACM SIGMOD Dissertation Award. He is a recipient of the NSF CAREER award (2009) and the Air Force Office of Scientific Research (AFOSR) Young Investigator Award (2012). He has published 100+ peer reviewed publications and has supervised 7 Ph.D dissertations. His graduated PhD students include 3 tenure-track faculty members and winners of 3 dissertation awards.

Keren Bergman

September 22
H. Vincent Poor
Princeton University
Title: Fundamental Limits on Information Security and Privacy

Read the Abstract and Bio

Abstract: As has become quite clear from recent headlines, the ubiquity of technologies such as wireless communications and on-line data repositories has created new challenges in information security and privacy. Information theory provides fundamental limits that can guide the development of methods for addressing these challenges. After a brief historical account of the use of information theory to characterize secrecy, this talk will review two areas to which these ideas have been applied successfully: wireless physical layer security, which examines the ability of the physical properties of the radio channel to provide confidentiality in data transmission; and utility-privacy tradeoffs of data sources, which quantify the balance between the protection of private information contained in such sources and the provision of measurable benefits to legitimate users of them.  Several potential applications of these ideas will also be discussed.

Bio: H. Vincent Poor is Dean of the School of Engineering and Applied Science at Princeton University, where he is also the Michael Henry Strater University Professor. His research interests are primarily in the areas of information theory and signal processing, with applications in wireless networks and related fields. Among his publications is the recent book Principles of Cognitive Radio (Cambridge University Press, 2013).  An IEEE Fellow, Dr. Poor is a member of the National Academy of 

Engineering and the National Academy of Sciences, and is a foreign member of the Royal Society. Recent recognition of his work includes the 2014 URSI Booker Gold Medal, and honorary doctorates from several universities.

Keren Bergman

September 29
Mo Li
University of Minnesota

Read the Abstract and Bio

Abstract: TBA

Bio: TBA

Keren Bergman October 6
Kerry Bernstein
DARPA
Read the Abstract and Bio

Abstract: TBA

Bio: Kerry Bernstein joined DARPA in September 2012 as a program manager in the Microsystems Technology Office. His interests are in the areas of hardware assurance, hardware-based cybersecurity capabilities, and supply chain risk management, including anti-counterfeit and anti-tampering issues. His interests also include emerging post-CMOS device technologies for supporting future defense computing workloads. 
Mr. Bernstein came to DARPA from IBM's T.J. Watson Research Center where from 2002 until 2012 he was a research staff member working in the areas of high-performance, low-power devices, circuits and architectures; emergent post-CMOS logic switch technologies and architectures; 3D chip integration; and radiation-induced upset modeling. From 1978-2002, he was an electrical engineer at IBM Microelectronics working in microprocessor circuit design, high performance product development and technology development applications. During his time at IBM he supported DARPA's IRIS and TRUST programs. 
Mr. Bernstein has co-authored four textbooks, holds 155 patents and is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE). Mr. Bernstein received his Bachelor of Science degree in Electrical Engineering from Washington University in St. Louis.

Keren Bergman October 13
Tomas Palacios
MIT
Read the Abstract and Bio

Abstract: TBA

Bio: TBA

Keren Bergman October 20
Alfred Hero
University of Michigan
Read the Abstract and Bio

Abstract: TBA

Bio: TBA

Keren Bergman October 27
Mohamma Hafezi
University of Maryland
Read the Abstract and Bio

Abstract: TBA

Bio: TBA

Keren Bergman

November 3
The Jack Keil Wolf Lecture in Electrical and Systems Engineering

Mildred Dresselhaus
MIT

Read the Abstract and Bio

Abstract: TBA

Bio:TBA

Keren Bergman December 1
Paulo Tabuada
UCLA
Read the Abstract and Bio

Abstract: TBA

Bio: TBA

Keren Bergman December 8
Randall Berry
Northwestern University
Read the Abstract and Bio

Abstract: TBA

Bio: TBA