He holds the Hudson Chair in the Department of Electrical
and Computer Engineering at Duke University, Durham, NC.
He also holds a joint appointment in the Department of Computer
Science at Duke. He was the Duke-Site Director of an NSF
Industry-University Cooperative Research Center between NC
State University and Duke University for carrying out applied
research in computing and communications. He has been on the
Duke faculty since 1975. He has served as a Principal
Investigator on various AFOSR, ARO, Burroughs, DARPA, Draper
Lab, IBM, DEC, Alcatel, Telcordia, Motorola, NASA, NIH, ONR,
NSWC, Boeing, Union Switch and Signals, NSF, and SPC funded
projects and as a consultant to industry and research
laboratories. He was an Editor of the IEEE Transactions on Computers
from 1983-1987. He is on the editorial board of the
IEEE Transactions on Dependable and Secure Systems. He is a co-designer of HARP, SAVE, SHARPE, SPNP, and
SREPT modeling packages. These packages have been widely circulated.
He is the author of a well known text entitled, Probability and
Statistics with Reliability, Queuing and Computer Science
Applications,
originally published by Prentice-Hall. A thoroughly revised second edition
has been published by Wiley. A comprehensive solution manual for the
second edition containing more than 300 problem
solutions is now available from the publisher (John Wiley).Power point slides of chapters 1-10 of the second
edition are also available. The use of the SHARPE
software package may be very helpful as a pedagogic
aid.
He has recently published two other books entitled, Performance and
Reliability Analysis of Computer Systems, published by Kluwer
Academic Publishers and Queueing Networks and Markov Chains, John
Wiley. Second edition of the latter book was published
in 2006. He has edited two books, Advanced Computer System Design,
published by Gordon and Breach Science Publishers, and Performability
Modeling Tools and Techniques, published by John Wiley & Sons.
His research interests are in reliability and performance
assessment of computer and communication systems. He has published
over 350 articles and lectured extensively on these topics. He has
supervised 39 Ph.D. dissertations. He is a Fellow of the Institute
of Electrical and Electronics Engineers. He is a Golden Core Member
of IEEE Computer Society.
Recent research accomplishments include three areas of activity: Advances
in modeling techniques; performance, reliability and dependability
modeling of applications; and development and dissemination of modeling
tools. Kishor and his colleagues have developed polynomial time algorithms
for performability analysis, numerical solution techniques for completion
time problems, algorithms for the numerical solution of the response time
distribution in a closed queueing network, techniques to solve large and
stiff Markov chains, and algorithms for the automated generation and
solution of stochastic reward nets including sensitivity and transient
analysis. His group has also developed fast algorithms for the solution of
large fault trees and reliability graphs including multistate components
and phase mission systems analysis. His group has developed new
formalisms of fluid stochastic Petri nets and Markov regenerative
stochastic Petri nets. His group has developed many tools - SHARPE, SPNP
and SREPT - which have been used at over 300 academic and industrial
laboratories. The graphical user-interfaces for these tools have been
recently developed. These tools also form the core of BOEING's integrated
reliability analysis package. Kishor's group has been in the forefront
of the development of fundamentals of software aging and rejuvenation.
His group is also very active in software reliability.
Kishor has recently developed solution methods for Markov regenerative
processes and used it for performance and reliability analysis. He has
applied his modeling techniques to a variety of "real world'' applications
including: performance analysis of polling systems and client-server
systems, wireless hand-off, connection admission control in CDMA systems,
reliability analysis of RAID, reliability analysis of FDDI token rings,
availability analysis of Vaxcluster systems, transient performance analysis
of leaky bucket rate control scheme, and to the analysis of real-time systems.
His methods of software rejuvenation have been implemented in the IBM
x series servers.
