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

活動訊息

友善列印

2009 – 2010 Distinguished Lecture Series

Foresight Taiwan -Science Policy for Economic Growth

講者介紹

Speaker Info:
Professor, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley

Research Areas: Communications & Networking (COMNET)

Towards a Science of Parallel Programming

講者介紹

Speaker Info:
Professor, Department of Computer Science, University of Texas at Austin

Research Areas:
  • Methodologies and tools for programming multicore processors, with a focus on irregular applications from domains like graphics, scientific computing and data mining.
  • Application-level fault-tolerance in the context of grid computing

On Organic Interfaces

  • Monday, September 28, 2009 10:00 AM
  • Seminar Room 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹

Speaker Info:
Professor, Electrical Engineering and Computer Science at MIT and Director of the Institute's Computer Science and Artificial Intelligence Laboratory (CSAIL).

Research Areas: The development of spoken language interfaces to make human/computer interactions easier and more natural.

Coq, a Proof Assistant Based On Type Theory

講者介紹

Speaker Info:
Professor, INRIA Research Director, Project FORMES and Chair Professor of Software Theory, School of Software, Tsinghua University, Beijing, China

Research Areas: Formal methods, theorem proving, validation of software, etc.

From Assembling Short DNA Reads to Protein Sequencing by Assembling Mass Spectra

  • Monday, November 9, 2009 02:00 PM
  • Auditorium Room 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹

Speaker Info:
Director, Center for Algorithmic and Systems Biology, University of California at San Diego

Research Areas: Genome rearrangements, mass spectrometry

Computing Needs Time

  • Monday, December 7, 2009 10:00 AM
  • Auditorium Room 106 , Institute of Information Science, Academia Sinica
  • 演講資訊 影片觀看
講者介紹

Speaker Info:
Robert S. Pepper Distinguished Professor University of California at Berkeley

Research Areas: Models of computation with time and concurrency, metaprogramming techniques, code generation and optimization, domain-specific languages, architectures for real-time computing, schedulability analysis, and programming of sensor networks.

Dust to Doctors: Wireless Sensor Networks for Home Medical Care

講者介紹

Speaker Info:
BP America Professor, Department of Computer Science University of Virginia

Research Areas: Real-time computing, embedded computing, operating systems, wireless sensor networks, and large scale distributed computing

Challenges in Mining Cyber-Physical Systems

講者介紹

Speaker Info:
Chair Professor, Department of Computer Science and Engineering, Hong Kong University of Science and Technology

Research Areas: Pervasive computing, mobile computing, peer-to-peer computing, and grid computing.

Bold, Edgy Technologies for the Future of Computing

講者介紹

Speaker Info:
Vice President, Director of Intel Research, USA

Research Areas: Networking, Grids, high performance clusters, distributed systems, computer architecture, high speed routing networks, compilers, and object oriented programming languages.

Deploying Applications in Next Generation Networks

講者介紹

Speaker Info:
Chair Professor, Department of Computer Science, National Chiao-Tung University

Research Areas: Wireless and mobile networks