alan turing centenary @ persistent systems
DESCRIPTION
Dr. Anand Deshpande, CEO, Persistent Systems kick starts the Alan Turing Centenary Celebrations at Persistent and talks about various events planned to honor Alan TuringTRANSCRIPT
Welcome to Turing100@Persistent
Anand DeshpandeCEO Persistent Systems
Mathematician, Logician, Code breaker, Cryptanalyst, Computer Scientist, Mathematical Biologist, Long Distance Runner.
Father of Computer Science(1912 –1954)
3
Alan Turing was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the Turing machine.
Turing is widely considered to be the father of computer science and artificial intelligence.
4
Why are We Celebrating the
Turing Centenary Year?
● Despite his contribution he is not well known. ● During his centenary year, we want to celebrate
the achievements of Computer Scientists and Computer Science.
About Today’s Event
● About Turing Centenary @ Persistent● Keynote Speech: Turing – Scientist Unlimited,
Mathai Joseph● Documentary: The life of Alan Turing.● Turing’s Theory of Computation: Vivek Kulkarni
Turing Lecture Series
● First Saturday of every month, at least until June 2013● Cover the contributions, impact of one of the ACM
Turing Award Recipients. (http://amturing.acm.org/) ● Detailed time table
– http://www.persistentsys.com/About/Turing100/Turing100Lectureseries.aspx
– http://tinyurl.com/TuringLectureSeries
7
Saturday, August 4, 2012● E. F. Codd (1981 Turing Award)
the father of Relational Databases
● Prof. Sham Navathe, Georgia Tech University
8
Saturday, September 1, 2012● Robin Milner (1991)
For three distinct and complete achievements: LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; CCS, a general theory of concurrency
● Navin Kabra
9
Saturday, October 6, 2012
● Vint Cerf and Bob Kahn (2004)For pioneering work on internetworking, including the design and implementation of the Internet's basic communications protocols –TCP/IP
● R. Venkateswaran
10
Saturday, November 3, 2012
● Judea Pearl (2011)For the development of a calculus for probabilistic and causal reasoning
● Mukund Deshpande
11
Saturday, December 1, 2012
● Ken Thompson and Dennis Ritchie (1983)For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system
● T. M. Vijayaraman
12
Saturday, January 5, 2013
● Jim Gray (1998)For seminal contributions to database and transaction processing research and technical leadership in system implementation
● Anand Deshpande
13
Saturday, February 2, 2013
● Ron L. Rivest, Adi Shamir Len M. Adleman (2002)For making public-key cryptography useful in practice
● Arvind Benegal
14
Saturday, March 2, 2013
● Barbara Liskov (2008)For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing
● Ajay Deshpande
15
Saturday, April 5, 2013
● Butler Lampson (1992)For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing.
● Neeran Karnik
16
http://amturing.acm.org
Semicolons: Programming Contest
● Date: 11th August 2012● Location: Hinjawadi Complex.● 24 hours contest● Prize money donated to winner’s charity,
matched by Persistent Foundation● Open for Persistent Employees and Students● More information – [email protected]
;
iShare: Technology Showcase
● October 10 – 12, 2012● Kalidasa Auditorium, Dewang Mehta Auditorium● Tech-Booths, ● I-tried-but-did-not-work, ● Workshops, Panel Discussions, Presentations
Turing Walkathon
December 2012
5 K Walk/Run
20
Turing Inter-collegiate Quiz
Feb 2013
Stay Tuned
● http://www.persistentsys.com/About/Turing100.aspx– Register on the site to get regular updates about the
events– Persistent Employees: Register on the Social Community
● Additional Information [email protected]
22
Join ACMhttp://india.acm.org/
Today’s Speaker:Mathai Joseph