Prabhaker Mateti

• Associate Professor, Department of Computer Science and Engineering, Wright State University, Dayton, Ohio 45435-0001
• Ph.D., U of Illinois at Urbana-Champaign, 1976
• I teach courses on Internet Security, distributed computing, operating systems, and software engineering.
• My research interests are Internet Security, Distributed Computing, Software Engineering, and Language Design.  I designed a specification and design language called OM.
• I have directed several MS theses, and three PhD dissertations.

Selected Publications

• Prabhaker Mateti and Narsingh Deo, “On Algorithms for Enumerating all Circuits of a Graph,” SIAM Journal on Computing, Vol. 5, 90--99, 1976.
• Prabhaker Mateti, “A Decision Procedure for the Correctness of a Class of Programs,” Journal of ACM, Vol. 28, No.2, 215--232, 1981.
• Chen Ding and Prabhaker Mateti, “A Framework for the Automated Drawing of Data Structure Diagrams,” IEEE Transactions on Software Engineering, Vol. 16, No. 5, 543--557, 1990.
• Prabhaker Mateti, “The TCP/IP Suite of Protocols”. Earlier versions: (i) The Handbook of Information Security, pp. 543-560. ISBN: 0-471-64833-7, John Wiley, 2005, (ii) Internet Encyclopedia, pp. 424-435, ISBN: 0-471-22201-1, John Wiley, 2003.  The Handbook of Computer Networks, 72 pp., ISBN- 10: 0471784613 ISBN-13: 978-0471784616, John Wiley, 2007.
• Prabhaker Mateti and Venkat Pothamsetty (Cisco; WSU MSCS 2000) and Benjamin Murray (Barracuda Networks; WSU BSCS 2008), “Security Enhancement of Network Protocol RFCs”, 35pp, in Handbook on Security and Networks, World Scientific Publishing Co., ISBN- 13: 978-9814273039, 2010.

Selected Grants

• A Calculus of Data Abstraction Models,  National Science Foundation, 1985, Principal Investigator: Mateti.
• Precision Design of Software, IBM Shared University Research program,  1987, Principal Investigator: Mateti.
• Exploit-Robust Implementation of Protocols through Formal Specifications, Cisco Systems, 2004, Principal Investigator: Mateti.
• Laboratory-Based Courses on Firewalls and Internet Security, National Science Foundation, 1999, Principal Investigator: Mateti.

Selected Service

• Panelist, NSF Graduate Research Fellowships Program, 1999-2002, 2006.
• cse/ABET | cse/CSAB  I developed these web sites for the 2005 ABET EAC and  CSAB (CAC) visits.  I have been the Chair of our UG Curriculum Committee in the 1990s and 2000s.
• Summer 2000 Institute on Advanced Computation: Cluster Computing Proceedings  Editor: P. Mateti
• Editorial Board, International Journal of Security and Networks, www.inderscience.com/ijsn/, 2004-.
• Home | Talks | Curriculum Vitae