Talk on Reliable Software Developmen

Dr Ganesh Gopalakrishnan, Professor from the University of Utah, addressed the students with an interactive session on 4th March 2021. The hour-long lecture gave details on the pre-existing teaching methods of software development and formal techniques of debugging and deploying correct software models.