Institute of Information Science, Academia Sinica

Events

Print

2011 – 2012 Distinguished Lecture Series

Mining Heterogeneous Information Networks

講者介紹

Speaker Info:
Professor, Department of Computer Science, University of Illinois at Urbana-Champaign

Research Areas:
  • Knowledge Discovery
  • Data Mining
  • Database Systems

Participatory mHealth: Opportunities and Challenges

講者介紹

Speaker Info:
Professor, Computer Science Department, University of California Los Angeles Director, Center for Embedded Networked Sensing

Research Areas:
  • Design of network and routing protocols for very large, global networks
  • Embedded networked sensing systems, with emphasis on environmental monitoring applications
  • Participatory sensing systems, leveraging the location

Towards Trustworthy Systems

講者介紹

Speaker Info:
Scientia Professor and John Lions Chair of Operating Systems, School of Computer Science and Engineering, The University of New South Wales Sydney

Research Areas:
  • Operating systems
  • Virtualization
  • Embedded systems
  • Real-time systems
  • Trustworthy systems
  • Energy management

The Time-Triggered Architecture

  • Wednesday, November 23, 2011 10:00 AM
  • Auditorium 106 , Institute of Information Science, Academia Sinica
  • Lecture Information
講者介紹

Speaker Info:
Professor, Real-Time Systems, Vienna University of Technology, Austria

Research Areas: Intersection of real-time systems, fault-tolerant systems, and distributed systems.

The Power of Abstraction

講者介紹
Prof. Barbara Liskov

Prof. Barbara Liskov

Speaker Info:
Institute Professor, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology

Research Areas:
  • Programming methodology
  • Distributed computing
  • Programming languages
  • Operating systems

The Past and 3½ Futures of NLP

講者介紹

Speaker Info:
Research Associate Professor, Computer Science, University of Southern California

Research Areas:
  • Natural Language Processing; Computational Linguistics; Human Language Technology
  • Ontologies; Text Mining or Harvesting ; Lexical Semantics
  • Digital Government

New Frontiers in Formal Software Verification

講者介紹
Dr. Gerald J. Holzmann

Dr. Gerald J. Holzmann

Speaker Info:
Faculty Associate in Computer Science at California Institute of Technology / Fellow at NASA/JPL

Research Areas:
  • Software reliability and software analysis methods
  • Formal verification
  • Logic model checking
  • Distributed systems design
  • Analysis of multi-threaded software
  • Requirements capture and analysis
  • Algorithms
  • Text processing
  • Image processing

Technical Computing: Past, Present, Future

講者介紹
Dr. Dan Reed

Dr. Dan Reed

Speaker Info:
Corporate Vice President, Technology, Policy Group, Microsoft Corporation

Research Areas:
  • Computer security
  • Cryptography
  • Operating system design
  • Parallel programming models
  • Cloud software
  • Data center architectures
  • Natural user interfaces
  • Specialty hardware accelerators