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
Interim Department Chair
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

Alexander Ororbia
Assistant Professor
585-475-2622
Leon Reznik
Professor
585-475-7210
Linwei Wang
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
Senior 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
Interim Department Chair
585-475-6155

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

Joe Geigel
Professor
585-475-2051

interdisciplany collaborative coursework; computer graphics education

Xumin Liu
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
Michael Mior
Assistant Professor
585-475-5810

Interactive query visualization

Carlos R. Rivero
Associate 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
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

Leon Reznik
Professor
585-475-7210
Carlos R. Rivero
Associate Professor
585-475-2979

graph databases; knowledge graphs; graph mining

Thomas Kinsman
Senior 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

Minseok Kwon
Professor
585-475-4524

Programmable networks; data center networks

Mohan Kumar
Professor
585-475-4583

Parallel and Distributed Computing; Pervasive and Mobile Systems

M. Mustafa Rafique
Associate Professor
585-475-4528

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

Leon 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

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
Christopher Homan
Associate Professor
5857196835
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

Leon 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 

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. Visit the THEORY CANAL website for more info on the series and the schedule of speakers.