您的瀏覽器不支援JavaScript語法,網站的部份功能在JavaScript沒有啟用的狀態下無法正常使用。

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

活動訊息

友善列印

列印可使用瀏覽器提供的(Ctrl+P)功能

2014 – 2015 Distinguished Lecture Series

:::

Virtual Prototyping for Cyber Physical Systems

  • 時間Monday, October 6, 2014 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹
Dr. Vania Joloboff

Dr. Vania Joloboff

Affiliation:
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

  • 時間Monday, November 3, 2014 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹
Prof. Lothar Thiele

Prof. Lothar Thiele

Affiliation:
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
  • 演講資訊 影片觀看
講者介紹

Affiliation:
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

  • 時間Monday, March 2, 2015 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹
Prof. Javier Esparza

Prof. Javier Esparza

Affiliation:
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

  • 時間Monday, March 23, 2015 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹
Dr. Henry C. Lee

Dr. Henry C. Lee

Affiliation:
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

  • 時間Wednesday, April 8, 2015 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹
Prof. Larry Peterson

Prof. Larry Peterson

Affiliation:
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

  • 時間Monday, May 25, 2015 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹
Prof. Klara Nahrstedt

Prof. Klara Nahrstedt

Affiliation:
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