Advanced Automata Theory Course at TU Kaiserslautern
April 2017
Rupak Majumdar and Daniel Neider are co-teaching Advanced Automata Theory in summer 2017 at the University of Kaiserslautern.
Algorithms, Theory & Logic
The algorithms, theory, and logic theme encompasses our research into the mathematical underpinnings of computer science and the application of foundational ideas to concrete applications in many different areas of computer science. Our research spans both algorithms, decidability, and complexity as well as logic, semantics, and proof theory.
