Institute of Information Science, Academia Sinica

Events

Print

Press Ctrl+P to print from browser

2011 – 2012 Distinguished Lecture Series

:::

Mining Heterogeneous Information Networks

Speaker Introduction

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 Introduction
Prof. Deborah Estrin

Prof. Deborah Estrin

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

  • TimeThursday, October 13, 2011 10:00 AM
  • LocationAuditorium 106 , Institute of Information Science, Academia Sinica
  • Video Watch Slide Download
Speaker Introduction

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

Speaker Introduction

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

Speaker Introduction
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 Introduction

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

Speaker Introduction
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

Speaker Introduction
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