Computer and network security, principles of programming languages, specification and verification methods

Analysis of algorithms, machine learning, random structures

Operating systems, storage systems, real-time systems

Database languages and systems, document processing

ICTD, technology for global social issues, human computation, computational photography, computer vision, computer graphics

Reputation systems, crowdsourcing, game theory, formal methods.

Programming languages, computer security, web programming, concurrency, verification, type systems, dynamic analysis.

Artificial Intelligence (AI); game AI; computer games; machine learning; knowledge representation and democratic methods

Machine learning, computational learning theory, analysis of algorithms

Artificial Intelligence: storytelling in games, intelligent machinima generation, smart graphics, and intelligent user interfaces

Principles of database systems, logic in computer science, and computational complexity.

Artificial intelligence, machine learning, heuristic search, associative pattern retrieval, hierarchical reinforcement learning, semantic networks

Visualization, vision, innovation

Storage systems, distributed computing systems, operating systems, mobile computing, performance evaluation, fault tolerance, computer security, multimedia, and video-on-demand systems.

Scalable file system data and metadata management, storage QoS, data management games, network intermediaries, information retrieval, and cooperation dynamics.

Artificial Intelligence (AI) for art and entertainment, game AI, AI and creativity, AI-based interactive storytelling, autonomous characters

Programming languages, parallel computing, and computer science education

Archival storage systems, non-hierarchical file systems and metadata management, non-volatile memory and next-generation storage, scalable file systems, reliable and secure storage, distributed systems, information retrieval, computer security.

Uncertainty visualization, tensor visualization, scientific visualization, comparative visualization, collaboration software, virtual reality interfaces

Artificial intelligence, programming languages, heuristic methods, educational and social issues, combinatorial algorithms

Databases, Online Database Tuning, Crowdsourcing, Scientific Data Management.

Reliability and security in storage systems

Database systems: data provenance, information integration

Graph theory, combinatorics, optimization, algorithms

Logic programming algorithms, parallel algorithms, complexity, programming languages, automated theorem proving, scientific visualization

Dialogue Systems, Natural Language Processing, Computer games, Human-Computer Interaction, Machine Learning, Artificial Intelligence

Digital media, computer games, electronic literature, software studies

Online learning, machine learning, statistical decision theory, game theory,analysis of algorithms

Software engineering, computer science education, testing, social issues

Software engineering, software evolution, software bug prediction, level design in computer games, procedural content generation

Classical and quantum information lattice dynamics, nonlinear waves; classical and quantum information theory; engineering, economics, and policy issues to the Internet