Amaldev Manuel
Visiting Faculty
Computer Science
Chennai Mathematical Institute
India
Biography
Amaldev Manuel Visiting Faculty Chennai Mathematical Institute
Research Interest
Logic, Automata, Algebra and Games
Publications
-
Walking on datawords, with Anca Muscholl and Gabriele Puppis, Theory of Computing Systems, 59(2):180-208, 2016.
-
Cost Functions Definable by Min/Max Automata, with Thomas Colcombet, Denis Kuperberg, and Szymon Toruńczyk, Symposium on Theoretical Aspects of Computer Science (STACS) 2016.
-
Two-variable logic over countable linear orderings, with Sreejith A V, Mathematical Foundations of Computer Science (MFCS) 2016.
