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

Assistant Professor,
Department of Computer Science,
IIT Goa, Farmagudi,
Ponda-403401, Goa

Interests: Logic,  Automata theory and Verification
Email: sreejithav at iitgoa dot ac dot in

JRF Position: Those interested email me your curriculum vitae.

About Me

B. Tech.      College of engineering, Thiruvananthapuram (CET)                                 
M. Tech.     IIT, Madras
Ph.D           Institute of Mathematical Sciences, Chennai (with Prof. Kamal Lodaya)
Other Research Positions: University of Tubingen, TIFR - Mumbai, LIAFA - Paris, CMI - Chennai, University of Warsaw - Poland

PhD Thesis: Regular quantifiers in Logic (won ACM India Honourable Mention for the dissertation)


Modulo counting in Logics (click for details)
Descriptive complexity (click for details)
Linear Orderings (click for details)
Software Verification (click for details)


8. Two-variable first order logic with counting quantifiers: Complexity Results, with Kamal Lodaya,   DLT 2017. (pdf, abstract)

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

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

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

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

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

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

1. LTL can be more succinct, with Kamal Lodaya 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-Institute for Informatik, University of Tubingen, Germany, from March 2012 to August 2012

Interesting Links

Computer science bibliography collections

Computer science conference timelines

Erdos Number