Click HERE to view faculty research presentations
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.
Modeling of biological systems; machine listening; machine learning; structured prediction;
weakly supervised learning; multi-modality video understanding; statistical machine translation;
computational game theory and economics.
Distributed robotics; sensor databases; control theory; control of
biological systems; compliant mechanisms; unmanned aerial vehicles;
coordinated robotics; hybrid control; planning, planning under uncertainty, graph searches.
Tele-immersion; Computer Vision; Video Summarization; Image Segmentation;
Object Recognition; Shape Perception; Human Activity Recognition;
Video Search and Indexing; Omnidirectional Cameras; Stereo-Vision;
Environment Mapping; Visual Odometry and Vision-based Flocking, Camera Network.
Geometric modeling and applications of geometry.
Building behavior-based models of human movement for gesture, gait, and facial expression; constructing parameterized action representations for real-time simulation and animation; understanding the relationship between human movement, natural language, and communication.
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.
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).
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).
Mocha: Exploiting Modularity in Model Checking
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.
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).
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.
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.
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.
NetDB@Penn: Distributed Information-Centric Systems Research
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.
The Logic and Computation Group is an interdisciplinary research
group composed of faculty and graduate students from the Departments
of Computer and Information Science,
* Secondary Faculty