- 2024 – 2025
- 2023 – 2024
- 2022 – 2023
- 2019 – 2020
- 2018 – 2019
- 2017 – 2018
- 2016 – 2017
- 2015 – 2016
- 2014 – 2015
- 2013 – 2014
- 2012 – 2013
- 2011 – 2012
- 2010 – 2011
- 2009 – 2010
Mining Heterogeneous Information Networks
講者介紹
Affiliation:
Professor, Department of Computer Science, University of Illinois at Urbana-Champaign
- Knowledge Discovery
- Data Mining
- Database Systems
Participatory mHealth: Opportunities and Challenges
講者介紹
Prof. Deborah Estrin
Affiliation:
Professor, Computer Science Department, University of California Los Angeles Director, Center for Embedded Networked Sensing
- 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
講者介紹
Affiliation:
Scientia Professor and John Lions Chair of Operating Systems, School of Computer Science and Engineering, The University of New South Wales Sydney
- Operating systems
- Virtualization
- Embedded systems
- Real-time systems
- Trustworthy systems
- Energy management
The Time-Triggered Architecture
講者介紹
Prof. Hermann Kopetz
Affiliation:
Professor, Real-Time Systems, Vienna University of Technology, Austria
The Power of Abstraction
講者介紹
Prof. Barbara Liskov
Affiliation:
Institute Professor, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology
- 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
- 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
Affiliation:
Faculty Associate in Computer Science at California Institute of Technology / Fellow at NASA/JPL
- 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
Affiliation:
Corporate Vice President, Technology, Policy Group, Microsoft Corporation
- Computer security
- Cryptography
- Operating system design
- Parallel programming models
- Cloud software
- Data center architectures
- Natural user interfaces
- Specialty hardware accelerators