Chinmay Narayan is an Assistant Professor of Computer Science at Ashoka. His PhD research work at IIT Delhi was on memory model specific verification of concurrent programs. His research interests include formal verification of programs, program analysis and automatic program synthesis with an emphasis on concurrent programs. He holds a Masters degree from IIIT Bangalore and a Bachelor’s degree from G.B.Pant University Pantnagar. Before joining PhD, he worked in Siemens Corporate Technology for three years.
