Assistant Professor

Computer Science & Engineering Department



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