An Invited lecture (online only) titled “Replicated Datatypes: From Practice to Theory” will be delivered by Prof. Madhavan Mukund, Deputy Director and Dean of Studies, Chennai Mathematical Institute.
Abstract: Data storage on the cloud has become ubiquitous. Individual users make use of cloud storage to share data across devices as well as with others. Commercial users such as online retailers maintain their business data in this manner. Data on the cloud is typically replicated across multiple servers to enhance availability with low latency. However, concurrent and distributed updates combined with network delays present a serious challenge to maintaining data consistency. Consistency requirements vary depending on the application context and many implementation have evolved, offering different guarantees. We step back and describe approaches to formalize these issues, to demonstrate how good theoretical foundations can validate and clarify empirical advances.
Speaker Bio:
Madhavan Mukund studied at IIT Bombay (BTech) and Aarhus University (PhD). He has been a faculty member at Chennai Mathematical Institute since 1992, where he is presently Distinguished Professor, Deputy Director and Dean of Studies.
His main research area is formal verification. He is Director of the Indo-French Research Lab in Computer Science set up in CMI by the French National Centre for Scientific Research (CNRS). He has served as President of both the ACM India Council and the Indian Association for Research in Computing Science (IARCS). He is a Fellow of the Indian Academy of Sciences.
He is also passionate about CS education. He has been the National Coordinator of the Indian Computing Olympiad since 2002 and regularly teaches online courses on algorithms, programming and data structures for the National Programme for Technology Enhanced Learning (NPTEL) project of HRD Ministry, Government of India. He plays an active role in ACM India’s CSpathshala initiative to introduce computational thinking in schools.
Date and Time: Saturday, November 28th, 2020. 11:00 to 12:30 hrs.
Webinar Link: Will be posted soon.