CIS Homeline
   
arrow About CIS
spacer spacer
arrow Events
spacer spacer
arrow People
spacer spacer
arrow Research
spacer spacer
arrow Undergraduate program
spacer spacer
arrow Graduate program
spacer spacer
arrow Job Openings
   

 

CIS Home divider Penn Engineering divider PENN   spacer  

 
 RESEARCH 


 


 

Click HERE to view faculty research presentations

Artificial Intelligence

COMPUTATIONIAL LINGUISTICS

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

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.


 

ROBOTICS

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.



 

VISION

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.


 

Graphics (Back to Top)

COMPUTATIONAL GEOMETRY

Geometric modeling and applications of geometry.


 

CENTER FOR HUMAN MODELING AND SIMULATION

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.


 

Information Management (Back to Top)

BIOINFORMATICS

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.

 

 

 

 


 

DATABASES & DATA MANAGEMENT

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).



 

Software Principles (Back to Top)

FORMAL METHODS & SOFTWARE ENGINEERING

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).

 

 

 

No Image
 Mocha: Exploiting Modularity in Model Checking

PROGRAMMING LANGUAGES RESEARCH AT PENN

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

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).

 

 

 


Security-Oriented Languages
 

Systems (Back to Top)

ARCHITECTURE & COMPILERS

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.


 

EMBEDDED & REAL-TIME SYSTEMS

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.

 

 

 

 

 

 

 


 

NETWORKS & DISTRIBUTED 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

 

 

 

No Image
Jonathan Smith
        

 

 

 

 

Theory (Back to Top)

ALGORITHMS AND COMPLEXITY

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

The Logic and Computation Group is an interdisciplinary research group composed of faculty and graduate students from the Departments of Computer and Information Science, Linguistics, Mathematics, and Philosophy.


No Image


 



* Secondary Faculty


 
 
CIS Home divider Penn Engineering divider PENN   spacer
  Send comments on this page to