Vidvan Image

Dr Kartik Nagar

vidwan id: 157739
Male

Assistant Professor, Department of Computer Science and Engineering
Indian Institute of Technology Madras

Expertise

  • Computer Science Software Engineering

Publications

Total Articles 12
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 82
h-index 5

CrossRef

CrossRef Icon
Citations 37
h-index 3
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

Automated Formal Verification, Program Analysis, Programming Languages

Personal Details

  • Male
  • Assistant Professor , Indian Institute of Technology Madras
  • Indian Institute of Technology Madras
Ph. D
Indian Institute of Science Bangalore 2016
M. Eng.
Indian Institute of Science Bangalore 2012
Assistant Professor Jan 2020 – Present
Indian Institute of Technology Madras | Department of Computer Science and Engineering

Related Profiles

Experts (10184+)

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 (719+)

View All
Bharadwaj

Dr Bharadwaj Satchidanandan

Assistant Professor

B S

B S Murty

Chair Professor

Sriram

Dr Sriram Balasubramanian

Assistant Professor

A

A Boominathan

Professor

Milind

Dr Milind Brahme

Associate Professor

Babji

Dr Babji Srinivasan

Associate Professor

Balaji

Dr Balaji Ramamurthy

Associate Professor

Co-Authors (1)

Sivaramakrishnan

Dr Sivaramakrishnan K C

Indian Institute of Technology Madras

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

Automated parameterized verification of CRDTs

Open Access
Conference Paper

Clotho: Directed test generation for weakly consistent database systems

Open Access
Article

Automated detection of serializability violations under weak consistency

Open Access
Conference Paper

Alone together: Compositional reasoning and inference for weak isolation

Open Access
Article