Research Areas

Artificial Intelligence (AI) researchers now predict that computers will be able to perform tasks that were once considered the prerogative of human beings.

Focuses on applied cryptography, authentication, threat modeling, anomaly detection, wireless security, cloud security, human-centered security, differential privacy and empirical cyber security.

Focuses on expanding approaches to teaching computing at all levels (K-12 and University) and the outreach to promote computing majors and careers.

Focuses on the interplay between multiple elements of cyber technologies (such as sensing, computing, communications and control), and physical systems or processes (including infrastructures such as transportation and power) as well as human factors.

Algorithms for data mining have a close relationship to methods of pattern recognition and machine learning.

Focuses on developing fundamental techniques, prototype systems and applications in databases and information retrieval.

Research in networking and distributed systems focuses on enabling communication of and orchestrating coordination of a large number of computing nodes.

Hardware and software issues from the circuit to the system have three main foci: Very Large Scale Integration (VLSI) circuits and systems, computer architecture, and computer security.

Focuses on efficient experimental and theoretical solutions to problems on state-of-the-art computational systems consisting of large numbers of computational elements, including clouds, clusters, grids, networks-of-workstations, massively parallel supercomputers, and GPU-based systems.

Focuses on developing highly efficient algorithms and techniques for a wide range of problems (such as automatic analysis of biomedical images, computer assisted diagnosis, treatment planning, protein-protein interaction network analysis, protein structure prediction, computational analysis and interpretation of Genomes, evolutionary studies of Genomic ORFans, and spatial positioning patterns of the cell nucleus) arising in smart hospital, smart healthcare, precision medicine, genomics, proteomics, and microarray analysis.

Mobile systems research focuses on the design and implementation of next-generation systems for mobile devices. Research topics include mobile data management, wireless networks, sensing systems, static analysis and instrumentation for mobile apps, mobile image and video analytics, and secure and low-power hardware for mobile devices.

Programmming Language research focuses on type systems, program logics, language-based and differential privacy and security; language, compiler, and run-time design for reliable systems; static and dynamic analyses for real-time Android; run-time visualization and verification; adaptive memory management; language concepts for database programming; logic- and constraint-based systems.

Computer science theory assesses which problems are possible and feasible to solve through theories of computability, undecidability, complexity, reducibility, and approximability.