December 26, 2024 09:36 am (IST)
Follow us:
facebook-white sharing button
twitter-white sharing button
instagram-white sharing button
youtube-white sharing button
Boat capsizes off Calangute Beach in Goa; 1 killed, 20 rescued | Canada announces change to immigration system, likely to impact Indians seeking permanent residence | Azerbaijan Airlines tragedy: 32 passengers rescued, flight attempted several emergency landing before crashing | Man sets himself on fire near Parliament building; locals, police rush him to hospital | Azerbaijan Airlines passenger plane enroute to Russia with over 70 people onboard crashes in Kazakhstan | Atishi will be arrested in fake case, claims Arvind Kejriwal after Delhi govt disowns health and women's schemes | Delhi govt departments disown Arvind Kejriwal's major poll promises, AAP chief reacts | 'Our nation will always be grateful to him': PM Modi writes article in tribute to Atal Bihari Vajpayee on his birth centenary | Syria: Christmas tree set on fire by suspected 'Islamists', Christians protest | Pakistan strikes TTP camps in Afghanistan, Taliban government claims civilians killed

Infosys Science Foundation hosts public lecture on 'Probabilistically Checkable Proofs'

| | Jun 12, 2015, at 04:25 am
#Infosys Science Foundation # public lecture # 'Probabilistically Checkable Proofs' # Madhu Sudan
Mumbai, June 11 (IBNS): The Infosys Science Foundation (ISF) in association with the Tata Institute for Fundamental Research (TIFR), on Thursday hosted Madhu Sudan, Principal Researcher, Microsoft Research New England, and Adjunct Professor, Electrical Engineering and Computer Science Department, Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, USA at TIFR campus to deliver a public lecture on 'Probabilistically Checkable Proofs'.
The session was well attended by students and professors from TIFR and neighbouring colleges.
 
The lecture by Sudan is part of the Infosys Science Foundation Lectures by jurors and winners of the Infosys Prize. 
 
These lectures are aimed at boosting awareness of the viability of careers in research among India’s student population, and the contribution of the Infosys Science Foundation in developing the research community in the country. 
 
Sudan has been a Principal Researcher at Microsoft Research New England since 2009. He has made significant contributions to theoretical computer science in areas such as probabilistically checkable proofs, non-approximability of optimization problems, list decoding, and error correcting codes.
 
Through this lecture, Sudan explained the concept of Probabilistically Checkable Proofs (PCP), a format that allows for perfectly valid proofs of correct theorems, and further described how such PCP formats, and associated verification methods are designed. 
 
He also highlighted how research in the 20th century allowed us to think about theorems and proofs formally, which paved the way for radically easy ways of verifying proofs.
 
Sudan’s current research interests lie in the interface of Computation and Communication, particularly in the role of errors in this interface. During his distinguished career, he has won various awards, including the ACM Distinguished Doctoral Dissertation (1993), the Godel Prize (2001), and the Rolf Nevanlinna Prize (2002). He is a fellow of ACM and the American Mathematical Society.
 

 

Support Our Journalism

We cannot do without you.. your contribution supports unbiased journalism

IBNS is not driven by any ism- not wokeism, not racism, not skewed secularism, not hyper right-wing or left liberal ideals, nor by any hardline religious beliefs or hyper nationalism. We want to serve you good old objective news, as they are. We do not judge or preach. We let people decide for themselves. We only try to present factual and well-sourced news.

Support objective journalism for a small contribution.
Related Images
Cyclone Dana: Heavy rains lash Kolkata, widespread waterlogging reported from several areas
Cyclone Dana: Heavy rains lash Kolkata, widespread waterlogging reported from several areas Oct 25, 2024, at 11:15 pm
Farmers working at dragon fruit garden in Agaratala
Farmers working at dragon fruit garden in Agaratala Jun 30, 2021, at 05:07 am
Swami Ramdev, Achariya Balakrishna perform Yoga with followers at Haridwar
Swami Ramdev, Achariya Balakrishna perform Yoga with followers at Haridwar Jun 22, 2021, at 01:59 am