Artificial Intelligence
AI addresses the challenges of machine cognition, spanning the theoretical and empirical across diverse subfields such as machine learning, computer vision, NLP, and robotics.
AI addresses the challenges of machine cognition, spanning the theoretical and empirical across diverse subfields such as machine learning, computer vision, NLP, and robotics.
Bioinformatics and computational biology utilize biologically inspired AI and ML methods to solve complex problems and applies data mining to biological experiments.
Computer Architecture research lies between software and hardware, exploring the foundational implementation and method of how computers function.
Computer vision trains computers and systems to identify, classify, and interpret digital images and video, allowing them to “understand” the visual world.
Formal methods uses mathematical techniques to assist with specification, design, implementation, and verification to make hardware and software systems more reliable.
Graphics and visualization studies methods for manipulating and interacting with digital images and visual content as well as processing and modeling datasets.
Human-computer interaction studies the connection between humans and the design of computing technologies. UTCS HCI makes communication more effective and accessible.
AI roboticists create independently functioning agents that integrate perception, decision-making, and action to perform tasks in the real world relevant to a variety of applications.
Machine learning is a branch of artificial intelligence (AI) focused on enabling machines to learn from data and make decisions with minimal human intervention.
Natural language processing helps computers comprehend, decipher, and manipulate text and spoken words—bridging the gap between human language and machine communication.
Parallel computing researchers pursue computational efficiency by breaking down long calculation processes into smaller tasks that can be solved simultaneously.
PL and compiler research delves into novel techniques to transform the way software is expressed in written form, enhancing program efficiency and durability.
Scientific computing research is at the intersection of mathematics and computer science, using advanced computing capabilities to solve complex problems.
Security research uses theoretical and applied approaches to increase information safety in systems while simultaneously exposing security flaws.
Systems research builds large prototype software systems that convincingly demonstrate novel design principles and implementation techniques using realistic workloads.
Theory focuses on the theoretical foundations of computer science and frequently relies on rigorous mathematical proofs. Potential applications include algorithm design and quantum computation.