Computer systems research at URCS spans a range of topics, including program analysis and compiler technology; parallel, distributed, and mobile computing; cluster-based server technology; low-power hardware and software; processor and memory architecture; concurrency and synchronization; programming environments; and programming language design.
Theoretical computer science research at URCS focuses on algorithms and computational complexity, and on their applications in a wide range of fields: computational social choice theory, cryptography and security, Markov chains/counting, and much more.
Artificial Intelligence research at UR includes work on knowledge representation and reasoning, machine learning, dialog systems, statistical natural language processing, automated planning, AI-based assistive technology, and computer vision. We collaborate with the departments of linguistics and brain and cognitive sciences, and participate in the Center for Language Sciences, the Center for Visual Science, and the Center for Computation and the Brain.
Human-Computer Interaction (HCI) concerned with the study, design, construction and implementation of human-centric interactive computer systems. Work in the Rochester HCI group (ROCHI) includes human nonverbal behavior analysis, social skills training, applied machine learning, educational technology, accessible computing, ubiquitous computing. Visit the HCI website.