Research Areas

Artificial Intelligence

Artificial Intelligence encompasses the study of algorithms and architectures that enable effective decision making in complex environments. Researchers in this area include faculty, undergraduate and graduate students working on projects in computer vision, robotics, virtual theatre, sensor networks, data mining, document recognition, and the theoretical foundations of decision-making (e.g. Markov chains and the properties of voting protocols).

Zachary Butler
Professor
585-475-6155

Cooperative robotics

Edith Hemaspaandra
Professor
585-475-5194

Multiagent systems; computational social choice

Christopher Homan
Associate Professor
5857196835

data science, machine learning, human computation

Hadi Hosseini
Assistant Professor
585-475-4547

Multiagent Systems; Algorithmic Game Theory

Ifeoma Nwogu
Assistant Professor
585-475-4937
Alexander Ororbia
Assistant Professor
585-475-2622
Leonid Reznik
Professor
585-475-7210
Linwei Wang
Associate Professor
585-475-4238
Richard Zanibbi
Professor
585-475-5023

Document Recognition; Information Retrieval

Computer Graphics and Visualization

This area provides the technical foundations for studies in Computer Graphics. Areas for advanced study include Advanced Graphics Programming, Image Synthesis, Computer Animation, Virtual Reality, and Data Visualization.

Joe Geigel
Professor
585-475-2051

virtual and augmented reality; motion capture; facial expression analysis; affective computing; tone reproduction

Thomas Kinsman
Lecturer
585-475-5188

Interactive data visualization; stereo imaging of data

Warren Carithers
Associate Professor
585-475-5393
Sean Strout
Principal Lecturer
585-475-4599
Reynold Bailey
Professor
585-475-6181

applied visual perception; computer graphics; multimodal human sensing; eye-tracking

Hans-Peter Bischof
Professor
585-475-5568

Visualization of scientific data

Computer Science Education

Explorations into the pedagogy of Computer Science focusing on new methods and paradigms for the teaching of the CS curriculum.

Ivona Bezakova
Professor
585-475-4526

design and efficacy study of assignments promoting problem solving; automated feedback in CS theory

Zachary Butler
Professor
585-475-6155

design and efficacy study of assignments promoting problem solving; propagation of CS educational innovations

James Heliotis
Professor
585-475-6133

delivery of fundamental CS principles and assessment of student learning

Joe Geigel
Professor
585-475-2051

interdisciplany collaborative coursework; computer graphics education

Hadi Hosseini
Assistant Professor
585-475-4547

Game-Based Learning; Computational Thinking and Scaffolding

Xumin Liu
Associate Professor
585-475-7459

service computing education; data science education;

Rajendra Raj
Professor
585-475-2595

data science education; cybersecurity education

Sean Strout
Principal Lecturer
585-475-4599
Paul Tymann
Professor
585-475-7908
Michael Mior
Assistant Professor
585-475-5810

Interactive query visualization

Carlos R. Rivero Osuna
Assistant Professor
585-475-2979

automated feedback in programming assignments; automated repair of incorrect student programs

Data Science

Studies foundational data management and knowledge discovery challenges prevalent in design, analysis and organization of data. This area can be applied in a variety of domains including data management in resource constrained environments, enterprise and multimedia databases, active and secure databases and knowledge discovery algorithms.

Xumin Liu
Associate Professor
585-475-7459

Large scale data management and data analytics; web services and service computing

Michael Mior
Assistant Professor
585-475-5810

NoSQL databases; data integration

Rajendra Raj
Professor
585-475-2595

Efficient data management; data security and privacy

Leonid Reznik
Professor
585-475-7210
Carlos R. Rivero Osuna
Assistant Professor
585-475-2979

graph databases; knowledge graphs; graph mining

Carol Romanowski
Professor
585-475-7926
Thomas Kinsman
Lecturer
585-475-5188

Social Network Analytics ; Data Visualization

Distributed Systems

This area studies systems formed from multiple cooperating computers. This includes the analysis, design, and implementation of distributed systems, distributed middleware, and computer networking protocols, including security.

Hans-Peter Bischof
Professor
585-475-5568

Distributed Caching

Taejoong Chung
Assistant Professor
585-475-5735

Internet measurement, security protocol, and privacy implication

James Heliotis
Professor
585-475-6133
Hossein Hojjat
Assistant Professor
585-475-2118
Peizhao Hu
Assistant Professor
585-475-4712

Secure data analytics in the Cloud; Distributed Consensus in Blockchain;

Alan Kaminsky
Professor
585-475-6789
Minseok Kwon
Professor
585-475-4524

Programmable networks; data center networks

Mohan Kumar
Department Chair
585-475-4583

Parallel and Distributed Computing; Pervasive and Mobile Systems

Muhammad Mustafa Rafique
Assistant Professor
585-475-4528

Resource management and distributed middleware; Data analytics and cognitive frameworks; Edge computing

Leonid Reznik
Professor
585-475-7210

Language and Tools

The Languages and Tools area studies language design and implementation together with architecture and use of software development tools.

Hans-Peter Bischof
Professor
585-475-5568
Matthew Fluet
Associate Professor
585-475-2854

Functional programming; Program analysis

James Heliotis
Professor
585-475-6133

Tools, frameworks, and languages supporting software modularity; CS education

Hossein Hojjat
Assistant Professor
585-475-2118
Rajendra Raj
Professor
585-475-2595

Secure coding and languages

Security

The Security area spans topics from networking to cryptography to secure databases. By choosing different domains in which to study security students can gain a broad understanding of both theoretical and applied knowledge.

Hans-Peter Bischof
Professor
585-475-5568
Warren Carithers
Associate Professor
585-475-5393
Taejoong Chung
Assistant Professor
585-475-5735

Internet measurement, security protocol, and privacy implication

Christopher Homan
Associate Professor
5857196835
Peizhao Hu
Assistant Professor
585-475-4712

homomorphic encryption, secure multiparty computation, zero-knowledge

Alan Kaminsky
Professor
585-475-6789
Minseok Kwon
Professor
585-475-4524

Internet of Things (IoT) security; network security

Stanislaw Radziszowski
Professor
585-475-5193

applied cryptography

Rajendra Raj
Professor
585-475-2595

data security and privacy; secure coding; cybersecurity education

Leonid Reznik
Professor
585-475-7210

Theory

The Theory area studies the fundamentals of computation. These fundamentals include complexity theory to determine the inherent limits of computation and communication and cryptography and the design and analysis of algorithms to obtain optimal solutions within those limits.

Ivona Bezakova
Professor
585-475-4526

design and analysis of algorithms; counting and sampling problems

Edith Hemaspaandra
Professor
585-475-5194

computational social choice; computational complexity; complexity of logics

Christopher Homan
Associate Professor
5857196835

computational social choice; computational complexity 

Hadi Hosseini
Assistant Professor
585-475-4547

Algorithmic Mechanism Design, Matching Theory, Fair Division

Stanislaw Radziszowski
Professor
585-475-5193

combinatorial computing, computational Ramsey theory

Theory Seminar Series

The THEORY CANAL meeting (the Rochester Theory Seminar) is a joint project of the RIT and UR theory groups, and the focus is all areas of theoretical computer science. THEORY CANAL meets (when RIT and UR classes are in session) on the second and fourth Wednesdays of each month.   Click here for more info on the series and the schedule of speakers.