Faculty Directory

Research Topics: Computational linguistics; computer science undergraduate education, natural language syntax; parsing

Research Topics: Operating systems; networking; compilers and runtimes

Research Topics: Applied cryptography; information security; privacy-preserving computation and outsourcing

Research Topics: Big data analytics; anomaly detection

Research Topics: Mobile sensor networks; robot networks; networked embedded systems; mobile computing; wireless networks; embedded operating systems

Research Topics: Computer vision; machine learning; multimodal data analytics; pattern recognition; large-scale visual search and mining; big data analytics

Research Topics: Distributed systems and networks; fault-tolerant computing; self-stabilization; wireless sensor networks

Research Topics: Document image understanding, video analysis, pattern recognition, computer vision, media forensics, artificial intelligence

Research Topics: Social computing; sensor networks; stochastic simulation and inference

Research Topics: Big healthcare data; medical imaging informatics; computer vision; machine learning

Research Topics: Energy-aware systems; embedded and mobile systems; operating systems; robotics

Research Topics: Pattern recognition; digital libraries; biometrics

Research Topics: Graph algorithms; graph drawing; graph theory

Research Topics: Computer science education; runtime systems; dynamic memory management

Research Topics: Programming languages; epistemic logic; type theory; concurrency; language-based security; information-flow control

Research Topics: Emerging network technologies and security, machine learning for security and privacy, security and privacy in IoT and CPS, security and privacy in social networks, usable privacy and security

Research Topics: Software; IT systems

Research Topics: Optimization algorithms; machine learning; big data analytics; federated learning and networks

Research Topics: Emerging biometrics; human-computer interaction and cognitive science; cyber-physical security; neuromorphic computing; mobile and wearable computing; low-power sensing

Research Topics: Stochastic models; bayesian methods; maximum entropy methods

Research Topics: Databases; programming languages; user interfaces for data science; scalable compilers; managing uncertainty in data; data structures; healthy and equitable food systems

Research Topics: Scalable linear and nonlinear solvers for multiphysics problems; bioelectrostatics and molecular modeling for ion channels; geophysical modeling in crustal deformation, mantle convection, and magma dynamics; scientific library development and automated scientific computing; libraries and code generation for high performance computing; efficient solvers and preconditioners for GPUs and accelerators; finite element and boundary element discretizations for nonlinear problems; classical density functional theory, theory and numerics

Research Topics: Data clouds; data-intensive computing; petascale distributed systems; storage and I/O optimization

Research Topics: Approximation algorithms; combinatorial optimization; network design and routing; facility location and scheduling problems

Research Topics: Distributed systems; databases

Research Topics: digital media forensics; computer vision; machine learning

Research Topics: High-performance computing; parallel algorithms and architectures; cyberinfrastructure; grid and cloud computing; computational crystallography; molecular structure determination; computational geometry

Research Topics: Human behavior modeling; sign language understanding; probabilistic modeling

Research Topics: Future generation communication systems; optical networks; survivable/resilient protocols; wireless and mobile networks (including sensor networks)

Research Topics: Cloud computing; computer architecture; data-intensive computing; parallel processing

Research Topics: Mathematical logic; theoretical computer science

Research Topics: Structured linear algebra; society and computing; coding theory; database algorithms

Research Topics: Graph mining; social network analysis; network science; temporal network analysis; combinatorial scientific computing; stream processing; distributed and parallel computing

Research Topics: Computer architecture; networking; VLSI systems

Research Topics: Computer architecture; embedded technologies; VLSI circuits and systems; wireless networks and security

Research Topics: Information extraction; information retrieval; multimedia information retrieval; text mining

Research Topics: Behavioral biometrics; computer security; distributed systems; fault-tolerant computing (hardware/software)

Research Topics: Computer engineering outreach and education, data fusion, digital and embedded systems

Research Topics: Next-generation networks; mobile computing; edge computing; artificial intelligence of things

Research Topics: Cognitive computing, big data analytics, deep learning, smarter energy, application of cognitive computing for industrial solutions

Research Topics: Algorithms; computational geometry; machine learning; differential privacy; geometric computing in deep learning and biomedical applications

Research Topics: Embedded and cyber-physical systems; body sensor networks; biomedical signal analytics; telemedicine; human-computer interaction

Research Topics: Computer vision; pattern recognition; video analytics; large-scale visual search and mining

Research Topics: Database systems; security

Research Topics: Concurrency/parallelism; real-time Java; session types for distributed systems; visual debugging

Research Topics: Scalable computing; high performance and parallel computing; computational biology; data-driven scientific computing