Institute of Information Science
2014 – 2015 Distinguished Lecture Series
Date: Monday, October 6th, 2014 10:00am       Auditorium 106
Topics: Virtual Prototyping for Cyber Physical Systems
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
  • play video
    Date: Monday, November 3rd, 2014 10:00am       Auditorium 106
    Topics: Towards Dependable Cyber-Physical Systems
    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
  • play video
    Date: Thursday, December 18th, 2014 10:00am       Auditorium 106
    Topics: Future Directions in Computer Science Research
    IBM Professor of Engineering and Applied Mathematics, Cornell University
    Research Areas: The Analysis and Modeling of large Linked Networks (NSF); Information Forensics (AFOSR)
    play video
    Date: Monday, March 2nd, 2015 10:00am       Auditorium 106
    Topics: Keeping a Crowd Safe: On the Complexity of Parameterized Verification
    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
  • play video
    Date: Monday, March 23th, 2015 10:00am       Auditorium 106
    Topics: New Advances in Forensic Identification
    Distinguished Chair Professor, University of New Haven
    Founder, Henry Lee Institute of Forensic Science
    Director, Forensic Research & Training Center
    Research Areas:
  • Forensic Science
  • play video
    Wednesday, April 8th, 2015 10:00am       Auditorium 106
    Topics: OpenCloud: A Value-added Cloud for Network Operators
    Robert E. Kahn Professor of Computer Science, Emeritus at Princeton University
    Research Areas:
  • Systems/Networks
  • play video
    Monday, May 25th, 2015 10:00am       Auditorium 106
    Topics: Joint Software-Defined Application-Network Control Plane for Next Generation Real-Time Applications
    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
  • play video


    Academia Sinica 資訊科學研究所 Academia Sinica