IIT GOA

INDIAN INSTITUTE OF TECHNOLOGY GOA
भारतीय प्रौद्योगिकी संस्थान गोवा

Assistant Professor

Computer Science & Engineering Department

amal@iitgoa.ac.in

0832-2490-853

Address: Faculty cabin, Computer Lab, IT Building


Courses Taught

CS 215 : Data Analysis and Interpretation

Areas of Research

Logic, Automata, Algebra and Games

Representative Publications
  • Two-variable logic over countable linear orderings, with Sreejith A V, Mathematical Foundations of Computer Science (MFCS) 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
  • Walking on datawords, with Anca Muscholl and Gabriele Puppis, Theory of Computing Systems, 2016
  • Fragments of Fixpoint Logic on Data Words, with Thomas Colcombet, Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2015