 
|
 |
Artificial Intelligence
(Joshi,
Liberman,
Marcus,
Nenkova, Pereira, Prince)
Mathematical,
computational, and processing models of language; representation
of semantic information; probabilistic models of linguistic
data and grammars; text extraction; information extraction
from biomedical literature.
Learning
(Kearns,
Pereira, Taskar,
Ungar)
Modeling
of biological systems; machine listening; machine learning;
computational game theory and economics.
Robotics
(Kumar,
Mintz, Ostrowski,
Taylor)
Distributed
robotics; sensor databases; control theory; control of biological
systems; compliant mechanisms; unmanned aerial vehicles; coordinated
robotics; hybrid control.
Vision
(Daniilidis,
Shi, Taylor)
Tele-immersion;
computer vision; video summarization.
Information Management
(Davidson,
Kannan, Pereira,
Tannen, Ungar)
Integration
of heterogeneous biological databases; probabilistic models
and other techniques for extracting annotation information
for biological data from text; probabilistic models, machine
learning techniques, and algorithms for biological problems
such as gene finding, motif and domain discovery, phylogeny
estimation, and identifying gene regulatory networks.
(Davidson, Guha,
Ives, Khanna, Loo, Pierce,
Tannen)
Languages,
techniques, and scalable systems for integrating, exchanging,
and synchronizing heterogeneous data; data annotation; data
mining; approximate and stream queries; representing and querying
non-traditional data (e.g., XML, graph data, biological and
medical data).
Graphics
Computational
Geometry
(Gallier)
Geometric
modeling and applications of geometry.
Center
for Human Modeling and Simulation
(Badler, Safonova)
Behavior-based
models of human movement for gesture, gait, and facial expression;
constructing a parameterized action representation for real-time
simulation and animation; understanding the relationship between
human movement, natural language, and communication.
Software Principles
Formal
Methods & Software Engineering
(Alur,
Lee,
Pierce, Sokolsky,
Tannen)
Rigorous
mathematical techniques for design and analysis of computer
systems and their application to a variety of software engineering
problems (e.g., requirements engineering, model specification,
code design/ generation, testing, implementation verification
and validation, software certification).
(Pierce, Tannen,
Weirich,
Zdancewic)
Advanced
type systems (subtyping, object-oriented languages, ad hoc
polymorphism, polytypic programming, and substructural type
systems);language-based security; language design and implementation;
metaprogramming; foundations for concurrent, distributed,
and mobile computing.
Security
and Information Assurance
(Blaze, Kearns,
Scedrov,
Smith,
Zdancewic)
Understanding
the effects of diversity and scale on security; advanced technology
for programmable network architectures, cryptographic protocol
verification, embedded systems security, privacy/anonymity
on the web, models and protection measures for DoS, trust
management, language-based security, non-traditional applications
of cryptology (e.g., physical security).
Systems
(DeHon, Martin, Roth)
Next-generation
microprocessor and multiprocessor systems; workload-driven
evaluation of performance, energy consumption, and design
complexity; hardware/software interfaces for dynamic program
adaptation; hardware/compiler/OS support for emerging applications.
(Alur,
Kumar,
Lee, Pappas,
Taylor)
Design
and analysis of computer systems that interact with unpredictable
environments and operate under strict resource and timing
constraints; ensuring schedulability, resource constraints,
safety, and reliability of networked embedded and real-time
systems.
(Blaze,
Guerin,
Ives,
Loo, Sarkar,
Smith)
Highly
adaptive networking architectures and distributed applications;
scalability and security of heterogeneous systems made up
of devices with diverse network and resource capabilities
and administrative domains.
Theory
Algorithms and Complexity
(Alur, Guha,
Kannan, Kearns,
Khanna)
Design and analysis of algorithms with applications to computational biology, databases, and software analysis; algorithmic game theory; approximation and randomized algorithms; combinatorial optimization; communication complexity and streaming; computational complexity; computational learning theory; cryptography.
Logic
and Computation
(Alur,
Freyd,
Gallier,
Pierce, Scedrov,
Sokolsky,
Tannen, Weinstein,
Weirich)
.
Italics denote secondary faculty.
|
|
|