Anand Tripathi                        Professor            Department of  Computer Science & Engineering            University of Minnesota            Minneapolis MN 55455                  tripathi@cs.umn.edu                  612-625-9515                  612-625-0572 (fax)

Curriculum Vitae

Summary of Research Activities

Ajanta Project

Upcoming Event:  ICSE Workshop on Software Engineering for Pervasive Computing Systems, Environments, and Applications (SEPCASE),  Minneapolis, May 2007.

Office:  EECS Building Room 5-205

Mailing Address:
                                    EECS Building  Room 4-192
                                    200 Union Street SE
                                    Department of  Computer Science
                                    University of Minnesota
                                    Minneapolis MN 55455

Education:

             Ph.D. (Electrical Engineering)          1980      University of Texas at  Austin
             M.S. (Electrical Engineering)           1978       University of Texas at Austin
             B. Tech (Electrical Engineering)      1972       Indian Institute of Technology, Bombay

• Program Chair for IEEE International Conference on Pervasive Computing and Communications (PerCom), March 2004.

• Program Chair for IEEE 20th Symposium on Reliable Distributed Systems (SRDS 2001) October  2001

• At-large member of the IEEE Computer Society Publications Board (2002-2003)

• Member of the Editorial Board of IEEE Transactions on Computers

• Member of the Editorial Board of IEEE Pervasive Computing

• Member of the Editorial Board of IEEE DS Online

Professional Experience:

• Program Director, Computer Systems Software Program, National Science Foundation ,  July 1996-97.

• Program Director,  Operating Systems and Systems Software  Program, National Science Foundation ,  July 1995-96.

• Senior Principal Research Scientist,  Corporate Computer Science Center, Honeywell Inc., 1983-84.

• Principal Research  Scientist,  Corporate Computer Science Center, Honeywell Inc., 1981-83.

• Scientific Officer, Bhabha Atomic Research Center, Bombay, India, 1972-75.

Teaching Schedule for Spring 2007
CSci 4131 - Introduction to Internet Programming -- Mondays-Wednesdays 12:45-2:00

Office Hours: Mondays and Wednesdays 3:00-4:00

Research Interests:

Ajanta - A System for Research in Mobile Internet Agents
An experimental version of this system is due to to be released for public-use by May 1, 1999 .

Latest version was released in August 2003 for Java 2 security model.

Distributed  systems and programming paradigms, operating systems,
object-oriented programming  languages and systems,  fault-tolerant computing

Current Projects:

• Secure Distributed Collaboration Systems  (Funded by NSF)

• Mobile Agent Based Monitoring of Network Systems (Funded by NSF)

• Context-Aware Secure Distributed Collaboration Systems (Funded by NSF)

Graduate Students:
 

Current Students:  Devdatta Kulkarni (Ph.D. student)

                           Tariq Islam (Ph.D. student)
                    

Recent Graduates:

                John Eberhard                    Ph.D. (Object Caching in Distributed Systems)
                Tanvir Ahmed                     Ph.D. (Secure distributed collaboration systems)

                Robert Miller                       Ph.D.  Exception handling in object-oriented and asynchronous systems 
                Neeran Karnik                     Ph.D.   Secure Mobile Agent Programming

                Sandeep Karanth                M.S.   Agent Based Monitoring of 802.11 wireless environments for intrusion

                Muralidhar Koka                  M.S.    Agent Based Network Monitoring and Authenticated Communication in Mobile Agent Systems

                Richa Kumar                       M.S.    Secure distributed collaboration systems

                Ram Singh                          M.S.   System Support for Secure Computing Using Mobile Agent

                Arvind Prakash                    M.S.   Mobile Agent Applications -- A Web Search System

                Manish Vora                        M.S.    Agent programming paradigms

                Donald  Hamnes                 Ph.D.   Adaptive synchronization methods in parallel/distributed simulation

            Rick Joos                            M.S.   Mutual authentication problems in mobile and wireless environment

Selected Recent Publications:

Please see the Ajanta project webpage for recent publications and reports on that project.

• ``Specification and Verification of Security Requirements in Decentralized CSCW Systems," Tanvir Ahmed and Anand Tripathi, to appear in ACM Transactions on Information and System Security.
• ``Mechanisms for Object Caching in Distributed Applications using Java RMI," John Eberhard and Anand Tripathi),  in Software Practice & Experience (published online for early view in October 2006).
• Programming Secure and Robust Pervasive Computing Applications", Devdatta Kulkarni, Anand Tripathi, and Tanvir Ahmed.   TechReport, University of Minnesota Twin Cities, September 2006.
  [PDF] [18 pages] 
• "Autonomic Configuration and Recovery in a Mobile Agent Based Distributed Event Monitoring System", Anand Tripathi, Devdatta Kulkarni, Harsha Talkad, Muralidhar Koka, Sandeep Karanth, Tanvir Ahmed, and Ivan Osipkov.    in Software Practice and Experience (published online for early view in October 2006).
  [PDF] [28 pages] 
• "Exception Handling Issues in Context Aware Collaboration Systems for Pervasive Computing", Anand Tripathi, Devdatta Kulkarni and Tanvir Ahmed.   In ECOOP Workshop on Exception Handling 2005
  [PDF] [12 pages] 
• "Policy-Driven Configuration and Management of Agent Based Distributed Systems", Anand Tripathi, Devdatta Kulkarni and Tanvir Ahmed.   In SELMAS'05 at ICSE'05
  [PDF] [7 pages] 
• "A Specification Model for Context-based Collaborative Applications", Anand Tripathi, Devdatta Kulkarni and Tanvir Ahmed.   In Pervasive and Mobile Computing (PMC) Journal, Vol. 1, Issue 1, Pg: 21-42
  [ PDF ] [22 pages]
• "Context-Based Secure Resource Access in Pervasive Computing Environments", by Anand Tripathi, Tanvir Ahmed, Devdatta Kulkarni, Richa Kumar, and Komal Kashiramka.   In 1st IEEE International Workshop on Pervasive Computing and Communications Security(IEEE PerSec'04)
  [PDF] [5 pages]  [BibTex Entry]
• Exploiting Commutativity for Distributed Object Caching", by John Eberhard and Anand R. Tripathi.   Technical Report
  [PDF] [12 pages] 
• "Static Verification of Security Requirements in Role Based CSCW Systems", by Tanvir Ahmed and Anand R. Tripathi.   In 8th ACM Symposium on Access Control Models and Technologies (SACMAT 2003), 196--203, June, 2003.
  [PDF] [8 pages]  [BibTex Entry]
• "Specification of Secure Distributed Collaboration Systems", by Anand Tripathi, Tanvir Ahmed, and Richa Kumar.   In Proceedings of International Symposium on Autonomous Distributed Systems (ISADS 2003), 149--156, April 2003.
  [PDF] [8 pages]  [BibTex Entry]
• Security in the Ajanta Mobile Agent System",  by Neeran Karnik and Anand Tripathi, Technical Report, Department of Computer Science,
  University of Minnesota, May 1999. [ Postscript ] [28 pages]
• "Development of  Mobile Agent Applications with Ajanta", Anand R. Tripathi, Neeran M. Karnik, Ram D. Singh, Tanvir Ahmed, John
   Eberhard, and Arvind Prakash, Technical Report, Department of Computer Science, University of Minnesota, Minneapolis, MN 55455.
   [Postscript] [15 pages]
• "Ajanta -- A Mobile Agent Programming System",  by Anand Tripathi, Neeran Karnik, Manish Vora, Tanvir Ahmed, and Ram D. Singh.
   Revised version of Technical Report #TR98-016, Department of Computer Science, University of Minnesota, April 1999. [ Postscript ]
   [32 pages]
• "Mobile Agent Programming in Ajanta", by Anand Tripathi, Neeran Karnik, Manish Vora, Tanvir Ahmed and Ram Singh. In Proceedings of
    the 19th International Confernce on Distributed Computing Systems (ICDCS '99) [ Postscript ] [8 pages]
•  "Agent Server Architecture for the Ajanta Mobile-Agent System", by Neeran Karnik and Anand Tripathi. In Proceedings of the 1998
    International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Las Vegas, July 1998. [Postscript ]
• "Protected Resource Access for Mobile Agent-based Distributed Computing", by Anand Tripathi and Neeran Karnik. In Proceedings of the
    ICPP workshop on Wireless Networking and Mobile Computing, Minneapolis, August 1998. [ Postscript ]
•  "Design Issues in Mobile Agent Programming Systems", by Neeran Karnik and Anand Tripathi. IEEE Concurrency, July-Sep 1998 pp
     52-61. [ Postscript of draft version]
• System-Level Issues for Agent Based Distributed Computing     Postscript file (10 pages)Authors: Anand Tripathi and Neeran Karnik
• Issues with Exception Handling in Object-Oriented Systems  Postscript file ( 18 pages) Authors: Robert Miller and Anand Tripathi
         This paper was presented at  the European Conference on Object-Oriented Programming, (ECOOP), June 1997.
• Design of an RPC System for Object-Oriented Distributed Programming  Postscript file ( 25 pages) Authors: Anand Tripathi and Terence Noonan
         A version of this paper will appear in Software - Practice & Experience
• Trends in Multiprocessor and Distributed Operating System Designs  Postscript file ( 33 pages) Authors: Anand Tripathi and Neeran Karnik
         A version of this paper appeared in the Journal of Supercomputing in June 1995
• Mutual Authentication in Wireless Networks   Postscript file ( 21 pages) Authors: Richard Joos and Anand Tripathi,
  This document is available` as a technical report from the Computer Science Department