GradNova

Universities

Research

Blog

Semigroups and Automata Theory

47 faculty research Semigroups and Automata Theory on GradNova.

2

Dieter van Melkebeek

Professor

Computer Science

University of Wisconsin–Madison

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Cryptography and Data Security

Machine Learning and Algorithms

+1

L

Luke Schaeffer

Assistant Professor

David R. Cheriton School of Computer Science

University of Waterloo

Algorithms and Data Compression

Computability, Logic, AI Algorithms

DNA and Biological Computing

Quantum Computing Algorithms and Architecture

+1

S

Stephen Melczer

Assistant Professor, Combinatorics and Optimization

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Combinatorial Mathematics

Advanced Mathematical Identities

Mathematical Dynamics and Fractals

Polynomial and Algebraic Computation

+1

L

Lila Kari

Professor, and University Research Chair

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Biosensing and Bioanalysis Techniques

Algorithms and Data Compression

DNA and Biological Computing

Modular Robots and Swarm Intelligence

+1

J

Jonathan Buss

Professor Emeritus

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Graph Theory Research

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Interconnection Networks and Systems

+1

N

Nathan Brunelle

Associate Teaching Professor

Computer Science

University of Washington

Computing Education

Algorithms and Data Compression

Network Packet Processing and Optimization

Semigroups and Automata Theory

+2

P

Paul Beame

Professor

Computer Science

University of Washington

Quantum Computing

Theoretical Computer Science

Complexity and Algorithms in Graphs

Formal Methods in Verification

+3

M

Michael Arbib

Computer Science

University of Southern California

Action Observation and Synchronization

Computability, Logic, AI Algorithms

Language, Metaphor, and Cognition

Neural Dynamics and Brain Function

+1

S

Stephen A. Fenner

Professor

Computer Science

University of South Carolina

Computability

Computational Complexity

Information

Quantum Computing

+5

E

Ernst Leiss

Professor

Computer Science

University of Houston

Computer Security

Theoretical Computer Science

Parallel Computing and Optimization Techniques

Semigroups and Automata Theory

+3

P

Paul Krogmeier

Visiting Assistant Professor

Computer Science

University of Colorado Boulder

Formal Methods in Verification

Logic, Programming, and Type Systems

Machine Learning and Algorithms

Semigroups and Automata Theory

+1

J

Joshua Grochow

Associate Professor

Computer Science

University of Colorado Boulder

Advanced Graph Theory Research

Coding Theory and Cryptography

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

+1

M

Mia Minnes

Computer Science

University of California San Diego

Innovative Teaching and Learning Methods

Logic, Programming, and Type Systems

Online Learning and Analytics

Semigroups and Automata Theory

+1

V

Vadim Bulitko

Computer Science

University of Alberta

AI-Based Problem Solving and Planning

Computability, Logic, AI Algorithms

Logic, Reasoning, and Knowledge

Reinforcement Learning in Robotics

+1

P

Paliath Narendran

Professor

Computer Science

University at Albany, State University of New York

Automated Reasoning

Pattern Matching

Symbolic Protocol Analysis

Term Rewriting Systems

+5

D

Daniel Hono

Visiting Assistant Professor - Instructional

Computer Science

University at Albany, State University of New York

Automated Deduction

Functional Analysis and Mathematical Physics With Applications to Quantum Computing

Semigroups and Automata Theory

Cryptography and Data Security

+3

O

Oscar H. Ibarra

Distinguished Professor Emeritus

Computer Science

Univ. of California - Santa Barbara

Algorithms and Data Compression

Computability, Logic, AI Algorithms

DNA and Biological Computing

Logic, Programming, and Type Systems

+1

L

Luc Longpré

Associate Professor

Computer Science

University of Texas - El Paso

Algorithms and Data Compression

Benford’s Law and Fraud Detection

Computability, Logic, AI Algorithms

Numerical Methods and Algorithms

+1

D

Daniel Gibney

Assistant Professor

Computer Science

University of Texas at Dallas

Algorithms and Data Compression

DNA and Biological Computing

Genomics and Phylogenetic Studies

Network Packet Processing and Optimization

+1

S

Serdar Erbatur

Assistant Professor of Instruction

Computer Science

University of Texas at Dallas

Advanced Authentication Protocols Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

J

Jason O'Kane

Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Machine Learning and Algorithms

Optimization and Search Problems

Semigroups and Automata Theory