中央研究院 資訊科學研究所

活動訊息

友善列印

列印可使用瀏覽器提供的(Ctrl+P)功能

2011 – 2012 Distinguished Lecture Series

:::

Mining Heterogeneous Information Networks

  • 時間Wednesday, July 20, 2011 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹

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

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

Participatory mHealth: Opportunities and Challenges

講者介紹
Prof. Deborah Estrin

Prof. Deborah Estrin

Affiliation:
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

  • 時間Thursday, October 13, 2011 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 影片觀看 講義下載
講者介紹

Affiliation:
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
  • 演講資訊 影片觀看
講者介紹

Affiliation:
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

  • 時間Monday, January 16, 2012 10:00 AM
  • 地點Auditorium 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹
Prof. Barbara Liskov

Prof. Barbara Liskov

Affiliation:
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

講者介紹

Affiliation:
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

Affiliation:
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

Affiliation:
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