Institute of Information Science
2014 – 2015 Distinguished Lecture Series
Date: Monday, March 23th, 2015 10:00am       Auditorium 106
Topics: New Advances in Forensic Identification
Speaker:
Distinguished Chair Professor, University of New Haven
Founder, Henry Lee Institute of Forensic Science
Director, Forensic Research & Training Center
Research Areas:
  • Forensic Science
  • Javier Esparza
    Wednesday, April 8th, 2015 10:00am       Auditorium 106
    Topics: OpenCloud: A Value-added Cloud for Network Operators
    Speaker:
    Robert E. Kahn Professor of Computer Science, Emeritus at Princeton University
    Research Areas:
  • Systems/Networks
  • Javier Esparza
    Date: Monday, October 6th, 2014 10:00am       Auditorium 106
    Topics: Virtual Prototyping for Cyber Physical Systems
    Speaker:
    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
    Speaker:
    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
    Speaker:
    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
    Speaker:
    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

    More

    Academia Sinica Institue of Information Science Academia Sinica