Welcome to Turing100@Persistent

         Anand Deshpande
       CEO Persistent Systems
Mathematician, Logician, Code
               breaker, Cryptanalyst, Computer
               Scientist, Mathematical Biologist, Long
               Distance Runner.

               Father of Computer Science
(1912 –1954)
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
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
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
Saturday, August 4, 2012
              ● E. F. Codd (1981 Turing Award)
                the father of Relational Databases

              ● Prof. Sham Navathe,
                Georgia Tech University




7
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
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
Saturday, November 3, 2012
                ● Judea Pearl (2011)
                  For the development of a calculus for
                  probabilistic and causal reasoning

                ● Mukund Deshpande




10
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
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
Saturday, February 2, 2013
                         ● Ron L. Rivest, Adi Shamir
                           Len M. Adleman (2002)
                           For making public-key
                           cryptography useful in
                           practice
                         ● Arvind Benegal




13
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
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
http://amturing.acm.org




16
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
Turing Inter-collegiate Quiz

       Feb 2013




20
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
Join ACM
     http://india.acm.org/




22
Today’s Speaker:
Mathai Joseph

Alan Turing Centenary @ Persistent Systems

  • 1.
    Welcome to Turing100@Persistent Anand Deshpande CEO Persistent Systems
  • 2.
    Mathematician, Logician, Code breaker, Cryptanalyst, Computer Scientist, Mathematical Biologist, Long Distance Runner. Father of Computer Science (1912 –1954)
  • 3.
    Alan Turing washighly 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 WeCelebrating 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
  • 16.
  • 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
  • 18.
    iShare: Technology Showcase ● October 10 – 12, 2012 ● Kalidasa Auditorium, Dewang Mehta Auditorium ● Tech-Booths, ● I-tried-but-did-not-work, ● Workshops, Panel Discussions, Presentations
  • 19.
    Turing Walkathon December 2012 5 K Walk/Run
  • 20.
  • 21.
    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 ACM http://india.acm.org/ 22
  • 23.