2014 – 2015 Distinguished Lecture Series - Institute of Information Science Academia Sinica

2014 – 2015 Distinguished Lecture Series

Wednesday, April 8^th, 2015 10:00am Auditorium 106

Topics:	OpenCloud: A Value-added Cloud for Network Operators
Speaker:	Larry Peterson Robert E. Kahn Professor of Computer Science, Emeritus at Princeton University
Research Areas:	Systems/Networks

Date: Monday, March 23^th, 2015 10:00am Auditorium 106

Topics:	New Advances in Forensic Identification
Speaker:	Dr. Henry Lee Distinguished Chair Professor, University of New Haven Founder, Henry Lee Institute of Forensic Science Director, Forensic Research & Training Center
Research Areas:	Forensic Science

Date: Monday, March 2^nd, 2015 10:00am Auditorium 106

Topics:	Keeping a Crowd Safe: On the Complexity of Parameterized Verification
Speaker:	Javier Esparza Institute of Computer Science, Technische Universität München
Research Areas:	Algorithms and tools for the design and verification of reactive and distributed systems Verification of systems with infinitely many states Software Model Checking Program analysis Formal models for distributed systems: Petri nets and process algebras Logic and automata theory Analysis of probabilistic systems Applications of constraint solvers to verification problems Semantics of parallel programming languages Analysis and synthesis of asynchronous circuits

Date: Monday, October 6^th, 2014 10:00am Auditorium 106

Topics:	Virtual Prototyping for Cyber Physical Systems
Speaker:	Dr. Vania Joloboff Former European Director of LIAMA, the sino-european Laboratory of Informatics and Control in China, now is leading a LIAMA research group on the development of cyber physical system, as well as an invited Scientist at Shanghai East China Normal University.
Research Areas:	Virtual Prototyping; Hardware Simulation; Cyber Physical Systems; Embedded Software

Date: Monday, November 3^rd, 2014 10:00am Auditorium 106

Topics:	Towards Dependable Cyber-Physical Systems
Speaker:	Lothar Thiele Swiss Federal Institute of Technology Zurich Professor, Computer Engineering and Networks Laboratory
Research Areas:	models, methods and software tools for the design of embedded systems embedded software and bioinspired optimization techniques

Date: Thursday, December 18^th, 2014 10:00am Auditorium 106

Topics:	Future Directions in Computer Science Research
Speaker:	John Hopcroft IBM Professor of Engineering and Applied Mathematics, Cornell University
Research Areas:	The Analysis and Modeling of large Linked Networks (NSF); Information Forensics (AFOSR)