Concepedia

Anish Tondwalkar

AT

Statistics

Publications

1

Citations

11

H-Index

1

Active since

2017

Affiliations

University of California San Diego(Current)

Anish Tondwalkar is an author at University of California San Diego specializing in deductive verification, automated reasoning, and theory of computation.

Publications per year

2017–2017

1

Publications

1