Institute of Information Science
events
  :::Print :::Chinese :::Site Map :::Home
 
2012 Distinguished Lecture Series
Date: Monday, January 16th, 2012 10:00am       Auditorium 106
Topics: The Power of Abstraction
Speaker:
Institute Professor, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology
Research Areas:
  • Programming methodology
  • Distributed computing
  • Programming languages
  • Operating systems
    		•
    Video　　　
    		play video
    Date: Tuesday, March 13th, 2012 10:00am       Auditorium 106
    Topics:
    Speaker:
    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
    		•
    Video　　　 Slide
    		play video
    Date: Monday, April 9th, 2012 10:00am       Auditorium 106
    Topics: New Frontiers in Formal Software Verification
    Speaker:
    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
    		•
    Video　　　 Slide ( PowerPoint (PPTX) format download)
    		play video
    Date: Monday, May 7th, 2012 10:00am       Auditorium 106
    Topics: Technical Computing: Past, Present, Future
    Speaker:
    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
    		•
    		play video
    Date: Tuesday, July 3rd, 2012 10:00am       Auditorium 106 Video WMV Video for IE
    Topics: Human Computer Intelligent Interaction
    Speaker:
    Beckman Institute for Advanced Science and Technology University of Illinois at Urbana-Champaign
    Research Areas:
  • Computer vision
  • Image compression and enhancement
  • Pattern recognition
  • Multimodal signal processing
    		•
    		Wen-mei Hwu
    TOP
     
     
    		 
    space
    Academia Sinica Institue of Information Science Academia Sinica