GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Semigroups and Automata Theory

Semigroups and Automata Theory

68 faculty research Semigroups and Automata Theory on GradNova.

T
Troy Vasiga

Associate Professor, Teaching Stream and Associate Dean, Undergraduate Admissions and Outreach

David R. Cheriton School of Computer Science

University of Waterloo

Algorithmic Number Theory
Computing Contests/challenges, Especially Computational Thinking Tasks, Data Structures, and Algorithms
Typically First- and Second-Year Computer Science Major Courses, Especially Cs135 (designing Functional Programs), Cs115 (introduction to Computer Science I), and Cs241 (foundations of Sequential Programs)
Teaching and Learning Programming
+4
M
Advanced Algebra and Logic
Finite Group Theory Research
GAN-Based Semiconductor Devices and Materials
Science Education and Pedagogy
+1
V
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Formal Methods in Verification
Neural Networks and Applications
+1
D
Theoretical Computer Science
Complexity and Algorithms in Graphs
Semigroups and Automata Theory
DNA and Biological Computing
+1
R
Advanced Graph Theory Research
Algorithms and Data Compression
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
+1
H
Algorithms and Data Compression
Complexity and Algorithms in Graphs
Cryptography and Data Security
Machine Learning and Algorithms
+1
D
Advanced Combinatorial Mathematics
Algorithms and Data Compression
Coding Theory and Cryptography
DNA and Biological Computing
+1
K
Advanced Data Compression Techniques
Algorithms and Data Compression
Error Correcting Code Techniques
Semigroups and Automata Theory
+1
P
Algèbre
Analyse Des Algorithmes Et De La Complexité
Autres Informatique Théorique Et Mathématiques Computationnelles, N.c.a.
Informatique Théorique Et Mathématiques Computationnelles
+6
S
Combinatoire Algébrique
Opérades Et Clones
Systèmes De Réécriture
Advanced Topics in Algebra
+4
S
Combinatoire Des Mots
Combinatoire Énumérative
Géométrie Discrète
Protocoles Cryptographiques
+5
A
Algorithmes Et Structures De Données
Combinatoire Énumérative
Linguistique Informatique
Optimisation Combinatoire
+8
F
Ia Symbolique
Optimisation Combinatoire
Sat/maxsat
Formal Methods in Verification
+4
M
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Petri Nets in System Modeling
+1
G
Algorithmics
Machine Learning
Tensor Decomposition and Applications
Machine Learning and Algorithms
+3
D
Advanced Algebra and Logic
Advanced Topology and Set Theory
Graph Theory and Cdma Systems
Rings, Modules, and Algebras
+1
K
Algorithms and Data Compression
DNA and Biological Computing
Logic, Programming, and Type Systems
Machine Learning and Algorithms
+1
B
Algorithms: On-Line, Parallel And/or Randomized
Concrete Complexity
Next Generation Network and Bioinformatics
Theory of Learning
+5
J
Algorithms and Data Compression
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Machine Learning and Algorithms
+1
T
Timos Antonopoulos

Instructional Faculty, Research Scientist and Lecturer

Computer Science

Yale University

Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Semigroups and Automata Theory
+1
L
Bioinformatics
Machine Learning
Algorithms and Data Compression
Semigroups and Automata Theory
+3
M
Michael Domaratzki

Chair, Associate Professor - ON LEAVE until June 30, 2027

Computer Science

Western University

Bioinformatics
Computational Genetics and Theoretical Computer Science.
DNA and Biological Computing
Semigroups and Automata Theory
+3
D
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Cryptography and Data Security
Machine Learning and Algorithms
+1
L
Classical Simulation of Quantum Circuits
Clifford Circuits
Low-Depth Circuits (classical and Quantum)
Semigroups and Automata Theory
+4
23
Next