中央研究院 資訊科學研究所

活動訊息

友善列印

2014 – 2015 Distinguished Lecture Series

Virtual Prototyping for Cyber Physical Systems

講者介紹
Dr. Vania Joloboff

Dr. Vania Joloboff

Speaker Info:
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

Towards Dependable Cyber-Physical Systems

講者介紹
Prof. Lothar Thiele

Prof. Lothar Thiele

Speaker Info:
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

Future Directions in Computer Science Research

  • Thursday, December 18, 2014 10:00 AM
  • Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹

Speaker Info:
IBM Professor of Engineering and Applied Mathematics in Computer Science at Cornell University

Research Areas: The Analysis and Modeling of large Linked Networks (NSF); Information Forensics (AFOSR)

Keeping a Crowd Safe: On the Complexity of Parameterized Verification

講者介紹
Prof. Javier Esparza

Prof. Javier Esparza

Speaker Info:
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

New Advances in Forensic Identification

講者介紹
Dr. Henry C. Lee

Dr. Henry C. Lee

Speaker Info:
Distinguished Chair Professor, University of New Haven Founder
Institute of Forensic Science Director, Forensic Research & Training Center

Research Areas: Forensic Science

OpenCloud: A Value-added Cloud for Network Operators

講者介紹
Prof. Larry Peterson

Prof. Larry Peterson

Speaker Info:
Robert E. Kahn Professor of Computer Science, Emeritus at Princeton University

Research Areas: Systems/Networks

Joint Software-Defined Application-Network Control Plane for Next Generation Real-Time Applications

講者介紹
Prof. Klara Nahrstedt

Prof. Klara Nahrstedt

Speaker Info:
Ralph and Catherine Fisher Professor in the Computer Science Department
Director of Coordinated Science Laboratory in the College of Engineering at the University of Illinois at Urbana-Champaign

Research Areas:
  • Cloud Computing
  • Computers and Education
  • Cyber-Physical Computing
  • Distributed Systems
  • Embedded Systems
  • File Systems
  • Internet
  • Network Security
  • Networking
  • Operating Systems
  • Real-time Systems
  • Systems and Networking
  • Systems Architecture
  • Ubiquitous Computing
  • Wireless Networking