Assistant Professor of Computer Science, @AshokaUniv. I work on formal methods, program synthesis, and automated reasoning.

ID: 1110895129945141248

linkhttp://aalok-thakkar.github.io calendar_today27-03-2019 13:23:33