Associate Chair , Department of Computer and Data Sciences, Case School of Engineering; Associate Professor, Department of Computer and Data Sciences, Case School of Engineering; Robert J. Herbold Professor of Transformative Teaching

Computer Science

Case Western Reserve University

Advanced Graph Theory Research

Constraint Satisfaction and Optimization

Higher Education Learning Practices

Logic, Reasoning, and Knowledge

Joseph Earl Reeves

Post Doctoral Fellow

Computer Science

Carnegie Mellon University

Constraint Satisfaction and Optimization

Formal Methods in Verification

Logic, Programming, and Type Systems

Natural Language Processing Techniques

Marc Verhagen

Senior Research Scientist

Computer Science

Brandeis University

Corpus Annotation

Natural Language Processing

Technology Extraction

Temporal Processing

James Pustejovsky

TJX Feldberg Professor of Computer Science; Chair, Linguistics and Computational Linguistics Programs

Computer Science

Brandeis University

Artificial Intelligence and Machine Learning

Corpus Linguistics and Annotation

Lexical Semantics

Temporal and Spatial Reasoning

Nathan Mull

Lecturer

Computer Science

Boston University

Constraint Satisfaction and Optimization

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Sujoy Sikdar

Assistant Professor

Computer Science

Binghamton University

Computational Social Choice

Decision-Making

Machine Learning

Game Theory and Voting Systems

Gerry Dozier

Charles D. McCrary Eminent Chair Professor

Computer Science

Auburn University

Biometric Identification and Security

Constraint Satisfaction and Optimization

Evolutionary Algorithms and Applications

Face and Expression Recognition

Subbarao Kambhampati

Professor

Computer Science and Engineering

Arizona State University

AI-Based Problem Solving and Planning

Constraint Satisfaction and Optimization

Logic, Reasoning, and Knowledge

Reinforcement Learning in Robotics