## Amaldev Manuel

Associate Professor

School of Mathematics & Computer Science

Indian Institute of Technology Goa

GEC Campus, Farmagudi, Ponda, Goa 403401

*amal@iitgoa.ac.in*

I am interested in the mathematical foundations of Computer Science, more precisely the study of automata, logics, algebra and games.

## Research

- Deciding Conjugacy of a Rational Relation

In DLT 2024

Joint work with C Aiswarya and Saina Sunny

Full version

- Edit Distance of Finite State Transducers

In ICALP 2024

Joint work with C Aiswarya and Saina Sunny

- An Algebraic Characterisation of First-Order Logic with Neighbour

In LICS 2021

Joint work with Dhruv Nevatia

- Logics for Reversible Regular Languages and Semigroups with Involution

In Fundamenta Informaticae, 2021

Joint work with Paul Gastin and Govind R

- Logics for Reversible Regular Languages and Semigroups with Involution

In DLT 2019

Joint work with Paul Gastin and Govind R

- Logic and Its Applications - 8th Indian Conference (2019), Proceedings

LNCS 11600

Edited with Md. Aquil Khan

- Two-variable logic over countable linear orderings

In MFCS 2016

Joint work with Sreejith A V - Cost Functions Definable by Min/Max Automata

In STACS 2016

Joint work with Thomas Colcombet, Denis Kuperberg and Szymon Toruńczyk - Walking on datawords

In Theory of Computing Systems, 2016

Joint work with Anca Muscholl and Gabriele Puppis - Uniformization Results on Regular Cost Functions

Manuscript 2015

Joint with Thomas Colcomber and Stefan Göller - Fragments of Fixpoint Logic on Data Words

In FSTTCS 2015

Joint work with Thomas Colcombet - Combinatorial Expressions and lowerbounds

In STACS 2015

Joint work with Thomas Colcombet - Generalized data automata and fixpoint logic

In FSTTCS 2014

Joint work with Thomas Colcombet - Definability and transformations for cost logics and automatic structures

In MFCS 2014

Joint work with Martin Lang and Christof Löding - Two variable logic on two dimensional structures

In CSL 2013

Joint work with Thomas Zeume - Walking on datawords

In CSR 2013

Joint work with Anca Muscholl and Gabriele Puppis - Counter automata and classical logics for datawords

Institute of Mathematical Sciences, Chennai 2012

Synopsis

Summary - Automata on infinite alphabets

In Modern Applications of Automata Theory 2012

Joint work with R. Ramanujam - Class counting automata on data words

, In IJFCS 2011

with R. Ramanujam - Two variables and two successors

In MFCS 2010 - Counting multiplicity over infinite alphabets

In RP 2009

Joint work with R. Ramanujam - LTL with a suborder

In ESSLLI 2009