Dr. Anand Deshpande, CEO, Persistent Systems kick starts the Alan Turing Centenary Celebrations at Persistent and talks about various events planned to honor Alan Turing
2. 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.
3
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.
4
5. 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
6. 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
7
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
8
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
9
10. Saturday, November 3, 2012
● Judea Pearl (2011)
For the development of a calculus for
probabilistic and causal reasoning
● Mukund Deshpande
10
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
11
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
12
13. Saturday, February 2, 2013
● Ron L. Rivest, Adi Shamir
Len M. Adleman (2002)
For making public-key
cryptography useful in
practice
● Arvind Benegal
13
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
14
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
15
17. 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