Dr. Subodh Sharma, Assistant Professor and Pankaj Gupta, Chair Professor in Privacy and Decentralisation, Department of Computer Science and Engineering, IIT Delhi delivered a lecture on “Automatic Reasoning of Concurrency for Safety & Security “on 28th August 2021. The lecture, organized by the School of Computer Engineering, KIIT Deemed to be University, enlightened and benefited Graduate and Master’s students, research scholars, and faculty members by explaining them about Parallel & Distributed Computing, Formal Verification, Reliability of Parallel Software via Static and Dynamic Program analysis including Concurrency For Safety & Security along with various case studies of the related events. Dr. Sharma also expressed his desire to consider motivated students from KIIT who are good in mathematics and programming and are interested in pursuing research (MSR/PhD) in the broad areas of verification, program synthesis, and security.
The session was interactive and the speaker cleared all the queries of the participants. The event was coordinated by Dr. Dipak Kumar Mohanty, Assistant Professor, KIIT School of Computer Engineering and hosted by Dr. Manoj Kumar Mishra, Assistant Professor.