Vidvan Image

Dr Sreejith A V

vidwan id: 124952
Male

Associate Professor, School of Mathematics and Computer Science
Indian Institute of Technology Goa

Expertise

  • Computer Science Theory and Methods

Publications

Total Articles 14
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 35
h-index 4

CrossRef

CrossRef Icon
Citations 17
h-index 2
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Theoretical computer science, Formal methods, Logic and Automata theory

Personal Details

  • Male
  • Associate Professor , Indian Institute of Technology Goa
  • F-6, New Academic Block A, IIT Goa, At GEC Campus, Farmagudi
PhD
Other Institute 2014
Associate Professor Oct 2017 – Present
Indian Institute of Technology Goa | School of Mathematics and Computer Science

Related Profiles

Experts (2488+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (51+)

View All
Ashish

Dr Ashish Bhateja

Associate Professor

Bidhan

Dr Bidhan Pramanick

Assistant Professor

Anandarao

Dr Anandarao Suvvari

Assistant Professor

Anirudha

Dr Anirudha Ambekar

Assistant Professor

Apeksha

Dr Apeksha Madhukar

Assistant Professor

Arindam

Dr Arindam Das

Associate Professor

Abhitosh

Dr Abhitosh Upadhyay

Assistant Professor

Kalpesh

Dr Kalpesh Jayantilal Haria

Assistant Professor

Clint

Dr Clint Pazhayidam George

Associate Professor

Kedar

Dr Kedar Joshi

Assistant Professor

Co-Authors (5)

Bharat

Dr Bharat Adsul

Indian Institute of Technology Bombay

Amit

Dr Amit Kumar

University of Minnesota

V

Prof V Arvind

The Institute of Mathematical Sciences (IMSc), Chennai

S

Dr S Raja

Indian Institute of Technology, Tirupati

Rajiv

Prof Rajiv Sinha

Indian Institute of Technology Kanpur

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Two-variable logic over countable linear orderings

Open Access
Conference Paper

Limited set quantifiers over countable linear orderings

Open Access
Conference Paper

On lower bounds for multiplicative circuits and linear circuits in noncommutative domains

Open Access
Conference Paper

Non-definability of languages by generalized first-order formulas over (N,+)

Open Access
Conference Paper
Authors: Krebs A.;Sreejith A.V.

Expressive completeness for LTL with modulo counting and group quantifiers

Open Access
Conference Paper

LTL can be more succinct

Open Access
Conference Paper