Institute of Information Science
2014 – 2015 Distinguished Lecture Series
Date: Monday, March 2nd, 2015 10:00am       Auditorium 106
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
  • 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

    More

    Academia Sinica Institue of Information Science Academia Sinica