Dr. Amaldev Manuel

Designation : Associate  Professor

Broad Area of Expertise : Computer Science and Engineering

Email : amal{at}iitgoa.ac.in

Contact Number : 0832-2490-115

Address : Faculty cabin, Computer Lab, IT Building

Personal Page

Educational Qualifications

Ph.D in Computer Science, Institute of Mathematical Sciences, 2012

Areas of Research

  • Logic in Computer Science
  • Automata Theory
  • Finite Semigroups
  • Games for Automata and Logics
  • Functional Programming

Courses Taught

  • Data Analysis and Interpretation
  • Software Systems Lab
  • Algebraic Automata Theory
  • Programming Language Paradigms
  • Foundations of Functional Programming via Haskell
  • Introduction to Computing through Python
  • Data Structures and Algorithms
  • Discrete Mathematical Structures
  • Automata Theory
     

Professional Appointments

  • Assistant Professor, IIT Goa, 2018 - Present.
  • Visiting Faculty, Chennai Mathematical Institute, 2016-17
  • Adjunct Faculty, MIM-UW, University of Warsaw, Poland, 2015-16
  • Postdoctoral Researcher, IRIF, U. Paris Diderot, Paris, France 2012-15
  • Postdoctoral Researcher, LaBRI, U. Bordeaux 1, Bordeaux, France, 2012

Recent Publications

  • An algebraic characterisation of first-order logic with neighbour, with Dhruv Nevatia, Logic in Computer Science (LICS) 2021
  • 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 Torunczyk, Symposium on Theoretical Aspects of Computer Science (STACS) 2016
  • Walking on datawords, with Anca Muscholl and Gabriele Puppis, Theory of Computing Systems, 2016

Recognition and Awards

  • Erasmus-Mundus Scholarship 2009
  • Warsaw Center of Mathematics and Computer Science fellowship 2015
Edit Profile