Events & Seminars

Year 2020-2021

Mar 26, 2021: Ph.D. Thesis defense of Megha Agrawal

Dec 23, 2020: Ph.D. Thesis Defense of Akshay Agarwal

Dec 21, 2020: M.Tech. Thesis Defense of Suraj Pandey

Nov 25, 2020 : CSE Webinar on Scaling up Formal Verification by R Venketesh, Distinguished Chief Scientist at TCS research.

Nov 9, 2020: Enabling Provable Security at Scale by Dr. Neha Rungta, Senior Principal Applied Scientist at Amazon Web Services.

Nov 5, 2020: Formal Proofs in Mathematics — a Personal Perspective by Dr. John Harrison, Senior Principal Applied Scientist at Amazon Web Services.

Nov 5, 2020: PhD Dissertation Defense of Kajal Kansal.

Oct 24, 2020: PhD Dissertation Defense of Ishant Shanu

Sep 22, 2020: PhD Dissertation Defense of Aanchal Mongia

Aug 20, 2020: PhD Dissertation Defense of Rahul Gangopadhyay

Aug 12, 2020: PhD Dissertation Defense of Devashish Gosain

July 30, 2020: M.Tech. Thesis Defense of Abhinav Gupta

July 30, 2020: M.Tech. Thesis Defense of Sagar Gupta

July 29, 2020: M.Tech Thesis Defense of Maleeha Arif Yasvi

July 29, 2020: M.Tech Thesis Defense of Pramit Bhattacharyya

July 29, 2020: M.Tech Thesis Defense of Khushbu Yadav

July 28, 2020: M.Tech Thesis Defense of Divyanshu Sundriyal

July 28, 2020: M.Tech Thesis Defense of Himanshu Sundriyal

July 28, 2020: M.Tech Thesis Defense of Khushboo Chitre 

July 28, 2020: M.Tech Thesis Defense of Sudatta Bhattacharya

July 27, 2020: M.Tech Thesis Defense of Kshitij Srivastava

July 27, 2020 : M.Tech Thesis Defense of Garvita Saxena

July 20, 2020 : M.Tech Thesis Defense of Neha Gupta

July 20, 2020: M.Tech Thesis Defense of Abhishek Srivastava

July 17, 2020: M.Tech. Thesis Defense of Arjun Tyagi

July 17, 2020: M.Tech Thesis Defense of Harsh Kumar Jain

June 29, 2020: Ph.D. Thesis Defense of Parikshit Maini

June 26, 2020: M.Tech. Thesis Defense of Alvin Dey

June 25, 2020: M.Tech. Thesis Defense of Tanya Gautam

June 25, 2020: M.Tech. Thesis Defense of Sakshi Makkar

June 25, 2020 : M.Tech Thesis defense of William Scott Paka

June 22, 2020: M.Tech Thesis defense of Swagatam Chakraborty

June 10, 2020: M.Tech Thesis defense of Nikhil Gola