Academic Profile

• Postdoctoral Researcher, University of Florence, Italy

• PhD in Computer Science, RWTH Aachen Technical University, Germany

• Master of Science in Computer Science and Engineering, Technical University of Eindhoven, The Netherlands

• Master of Technology in Software Engineering, Manipal Institute of Technology, India 

• Bachelor of Engineering in Computer Science, University of Rajasthan, India 

Professional Experience

• Assistant Professor, Department of Electrical Engineering & Computer Science, IISER Bhopal (July 2016 – Present)

Awards

• FACS 2022 best paper award. This paper was invited for the special issue of Formal Aspects of Computing Journal (under review)

• NLBSE 2022 paper (adjudged in the best paper category) was invited for the special issue of Science of Computer Programming Journal

• ICTAC 2019 paper (adjudged in the best paper category) was invited for the special issue of Theoretical Computer Science Journal

• SERB International Travel Support grant for attending EPEW 2017, Berlin, Germany

• Teaching Excellence Recognition for the course ECS 302 (IISERB, 2017)  

• Magna Cum Laude (PhD), RWTH Aachen, Germany (2015)

• ACSD 2014 paper (adjudged in the best paper category)

• Erasmus Mundus scholarship for PhD program in computer science at RWTH Aachen, Germany

• Full scholarship (from Philips, Eindhoven) for master's program in computer science at TU Eindhoven, The Netherlands

Service

• Expert committee member for the selection of Ph.D. candidates under the Prime Minister’s Research Fellowship (PMRF) scheme in the Interdisciplinary Programs in Science and Engineering (2019 & 2020)

• Reviewer PMRF -  Interdisciplinary Programs in Science and Engineering (2023)

• Program committee member - FACS 2023, ACM ISEC 2022, ACM ISEC 2023. Organizing committee member - NLPaSE 2021

• Reviewer -  Information Processing and Management Journal (Elsevier), ICALP, TACAS, ACC, FoSSaCS, ATVA, FORMATS, QEST, FSEN, ISEC, NLPaSE

Professional Memberships

• Professional member of the ACM

• Professional member of the IEEE

• Professional member of the IEEE Computer Society

Administrative Experience@IISERB 

• Head-in-charge EECS department IISER Bhopal (September 2020-December 2021)

• Head Computer Centre IISER Bhopal (March 2018-September 2020)

• DUGC Convener EECS department IISER Bhopal (2018-2019)

• Member of PEC and DFAC for the DSE program IISER Bhopal 

• Served in the role of chairperson or member for several institute level committees 

Internships

• Research Intern, Laboratory for Quality Software, Eindhoven, The Netherlands (2009) 

• Summer Intern, Central Electronics Engineering Research Institute (CSIR-CEERI), Pilani, India (2005)

• Summer Intern, Central Electronics Engineering Research Institute (CSIR-CEERI), Pilani, India (2004)