Sreejith A V/ശ്രീജിത്ത് എ വി

Email: sreejithav at mimuw dot edu dot pl
Research Interests: Algebraic automata theory, descriptive complexity, logic

About Me

After my BTech in Computer Science from College of engineering, Thiruvananthapuram (CET), I joined for a masters program (Mtech) in Computer science from IIT, Madras. I further pursued my interest in logic and automata theory during my PhD in Institute of Mathematical Sciences, Chennai under Prof. Kamal Lodaya. After I finished my PhD in 2013, I immediately joined for a postdoc in Tata Institute of Fundamental Research (TIFR), Mumbai, followed by postdocs in Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA), Paris with Prof. Thomas Colcombet and Chennai Mathematical Institute (CMI). Currently I am working with Mikołaj Bojańczyk in University of Warsaw.

Awards: ACM India Honourable Mention for dissertation titled "Regular Quantifiers in Logic"

PhD Thesis: Regular quantifiers in Logic


Two-variable logic over countable linear orderings, with Amaldev Manuel,  MFCS 2016. (pdf, full, abstract)

Limited Set quantifiers over Countable Linear Orderings, with Thomas Colcombet, ICALP 2015. (pdf, full, abstract)

Counting quantifiers and linear arithmetic on word models, with Kamal Lodaya Asian Logic Conference (ALC), 2014. (pdf)

On lower bounds for multiplicative circuits and linear circuits in noncommutative domains, with V Arvind and S Raja,  Computer Science Symposium in Russia (CSR), 2014. (pdf, abstract)

Non-definability of Languages by Generalized First-order Formulas over (N, +), with Andreas KrebsLICS 2012. (pdf, full, abstract)

Expressive Completeness for LTL With Modulo Counting and Group Quantifiers, Electronic Notes in Theoretical Computer Science (ENTCS), 2011. (pdf, abstract)

LTL can be more succinct, with Kamal Lodaya Automated Technology for Verification and Analysis (ATVA), 2010. (pdf, abstract)


One week course on Descriptive Complexity theory: An introduction, Indian School on Logic and its Applications (ISLA),  PSG college of Technology, Coimbatore in March 2016

An one semester course titled Verification for graduate and undergraduate students in Wilhelm-Schickard-Institut für Informatik, University of Tübingen, Germany, from March 2012 to August 2012

Interesting Links

Computer science bibliography collections

Computer science conference timelines

Erdos Number