| Date: Wednesday, July 20th, 2011 Auditorium 106 |
|
| Topics: |
Mining Heterogeneous
Information Networks |
| Speaker: |
Professor, Department of Computer Science, University of Illinois at Urbana-Champaign
|
| Research
Areas: |
Knowledge Discovery
Data Mining
Database Systems
|
|
|
|
|
|
|
|
| Date: Thursday, September 22nd, 2011 Auditorium 106 |
|
| Topics: |
Participatory mHealth: Opportunities and Challenges |
| Speaker: |
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
|
|
Slide |
|
|
|
|
| Date: Thursday, October 13th, 2011 Auditorium 106 |
|
| Topics: |
Towards Trustworthy Systems |
| Speaker: |
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
|
|
Slide |
|
|
|
|
| Date: Wednesday, November 23rd, 2011 Auditorium 106 |
|
| Topics: |
The Time-Triggered Architecture |
| Speaker: |
Professor, Real-Time Systems, Vienna University of Technology, Austria
|
| Research
Areas: |
Intersection of real-time systems, fault-tolerant systems, and distributed systems.
|
|
|
|
|
|
| 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
|
|
|
|
|
| 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
|
|
|
|
|
| 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)
|
|
|
|
| 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
|
|
|
|
|