alan turing centenary @ persistent systems

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 – semicolons@persistent.co.in

;

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 turing100@persistent.co.in

22

Join ACMhttp://india.acm.org/

Today’s Speaker:Mathai Joseph