Institute of Information Science, Academia Sinica

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

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

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)

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

Speaker Info:
Distinguished Chair Professor, University of New Haven Founder

Institute of Forensic Science Director, Forensic Research & Training Center

Research Areas: Forensic Science

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

Research Areas: Systems/Networks

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