Research Areas

Algorithms and Theory

Foundations of Computing, Geometric and Graph Algorithms, Data Structures, Quantum Computing, Cryptography, Complexity Theory, Information Theory.

Labs: 
Center for Geometric Computing
Faculty: 
Subhash Suri, Ömer Eğecioğlu, Wim van Dam, Daniel Lokshtanov, John Gilbert, Yu-Xiang Wang, Prabhanjan Ananth, Oscar H. Ibarra, Teofilo F. Gonzalez

Computational Science and Engineering

Computational algorithms and software tools for data mining, data analysis, linear algebra, large-scale graph computations, high performance computing, partial differential equations, and multi-scale stochastic simulation. Applications to systems biology, ecology, energy, materials, fluids, and social science.

Labs: 
Combinatorial Scientific Computing Lab, Computational Science and Engineering Lab, Computational Applied Science Lab
Faculty: 
Linda Petzold, John Gilbert, Frederic G. Gibou, Xifeng Yan, Tao Yang

Computer Architecture

Computer architecture, novel computing technologies, quantum computing, embedded systems, low-energy computing, network and security processors, architectural support for systems security and reliability.

Labs: 
ArchLab, RACELab, SysML Lab
Faculty: 
Yufei Ding, Timothy Sherwood, Chandra Krintz

Database and Information Systems

Distributed databases, fault-tolerance distributed systems, data in the cloud, multimedia databases, spatial databases, data mining, search, data-centric processes, workflow, data-aware services.

Labs: 
Distributed Systems Lab, Dynamic Networks: Analysis and Modeling (Dynamo) Lab, Information Systems and Engineering Lab (ISEL)
Faculty: 
Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh, Jianwen Su, Tao Yang, Xifeng Yan

Human Centered and Social Computing

Modeling social behavior and computational systems.  Proliferation of the social web into every area of business and society has brought about a need for better understanding, management and use of this valuable global resource.

Labs: 
Four Eyes Lab, NLP Lab
Faculty: 
Tobias Höllerer, Xifeng Yan, Ambuj K. Singh, William Wang

Machine Learning and Data Mining

Machine learning and Data Mining covers a broad range of topics that include knowledge representation, natural language processing, pattern recognition, and intelligent systems, with applications in many areas including bioinformatics, business intelligence, information retrieval, security, and network science.

Labs: 
Dynamic Networks: Analysis and Modeling (Dynamo) Lab, Four Eyes Lab, Network Science Lab, NLP Lab, SysML Lab
Faculty: 
Ambuj K. Singh, Xifeng Yan, Matthew Turk, Linda Petzold, Tobias Höllerer, William Wang, Yufei Ding, Yu-Xiang Wang

Networking

Computer networks and protocols, large-scale multimedia systems, mobile and wireless networks, quality of service, network modeling and simulation, peer-to-peer and overlay networks, dynamic spectrum and cognitive radios, high-performance mobile computing, network security, network models and protocols.

Labs: 
MOMENT Lab, Networking and Multimedia Systems Lab, RACELab, SAND Lab
Faculty: 
Kevin C. Almeroth, Elizabeth M. Belding, Subhash Suri

Operating Systems and Distributed Systems

Large-scale systems, cloud computing, distributed databases, distributed programming environments and runtime systems, Internet-scale analytics, social networks.

Labs: 
Distributed Systems Lab, RACELab, SAND Lab
Faculty: 
Divyakant Agrawal, Elizabeth M. Belding, Peter Cappello, Amr El Abbadi, Ambuj K. Singh, Rich Wolski, Tao Yang, Trinabh Gupta

Programming Languages and Software Engineering

Static and dynamic techniques for automated software verification and program analysis, adaptive compilation and runtime, language-based security, resource and energy consumption prediction, program profiling, formal methods, web services, workflows, concurrent and distributed systems.

Labs: 
ArchLab, SecLab, Information Systems and Engineering Lab, Programming Languages Lab, RACELab, Verification Lab, SysML Lab
Faculty: 
Tevfik Bultan, Yufei Ding, Ben Hardekopf, Richard A. Kemmerer, Jianwen Su

Security and Cryptography

Network and system security, web security, security of social networks, malware analysis, voting system security, vulnerability analysis, language-based security, specification and verification of systems, security-enhanced microprocessors.

Labs: 
SecLab, Verification Lab, ArchLab
Faculty: 
Richard A. Kemmerer, Giovanni Vigna, Christopher Kruegel, Tevfik Bultan, Timothy Sherwood, Trinabh Gupta, Prabhanjan Ananth

Visual Computing and Interaction

Human-computer interaction, computer vision, virtual and augmented reality, 3D modeling, multimodality, language & vision, computer graphics, visualization, scientific and information, wearable and ubiquitous computing.

Labs: 
Four Eyes Lab, Vision Research Lab, Computer Vision Research Lab, AlloSphere Research Facility, NLP Lab
Faculty: 
Tobias Höllerer, Matthew Turk, William Wang, Yuan-Fang Wang