Biography
Professor Pradhan currently holds a Chair in
Computer Science at the University of Bristol (U.K.). Recently, he
had been Professor of Electrical and Computer Engineering at Oregon
State University, Corvallis. Previous to this, Dr. Pradhan had held
the COE Endowed Chair Professorship in Computer Science at Texas A &
M University, College Station, also serving as founder of the
Laboratory of Computer Systems there.
Prior to this, Professor Pradhan held a Professorship at the
University of Massachusetts, Amherst, where he also served as
Coordinator of Computer Engineering. Dr. Pradhan has also worked at
the University of California, Berkeley, Oakland University
(Michigan), and the University of Regina, in Saskatchewan, Canada,
and as Visiting Professor at Stanford University (Calif.).
In past, Prof. Pradhan has worked as a Staff Engineer at IBM, more
recently serving as the founding CEO of Reliable Computer
Technology, Inc. He is also the inventor of two patents, one of
which was licensed to Mentor Graphics and Motorola. The
recently-announced verification tool, Formal Pro, by Mentor Graphics
is based on his patent.
Professor Pradhan has contributed to Very Large Scale Integrated
computer-aided design and test, as well as to fault-tolerant
computing, computer architecture and parallel processing research,
with major publications in journals and conferences, spanning more
than 30 years. During this long career, he has been well-funded by
various agencies in Canada, USA and UK.
Dr. Pradhan has also served as co-author and editor of various
books, including Fault-Tolerant Computing: Theory and Techniques,
Vols. I & II (Prentice-Hall, 1986), Fault-Tolerant Computer Systems
Design (Prentice-Hall, 1996, second print 2003), and IC
Manufacturability: The Art of Process and Design Integration (IEEE
Press, 2000).
Professor Pradhan continues to serve as an Editor in prestigious
journals, including IEEE Transactions. Further, Pradhan has worked
as an editor for several journals, including IEEE Transactions and
JETTA.Also, he has served as General Chair and Program Chair for
various major conferences. The recipient of Best Paper Awards honors
including the 1996 IEEE Transactions on Computer-Aided Design Best
Paper Award, with W. Kunz, on “Recursive Learning: A New Implication
Technique for Efficient Solutions to CAD Problems Test, Verification
and Optimization”. Prof. Pradhan is also included among 230 computer
scientists worldwide whose work has been highly cited in the list
appearing in
www.isihighlycited.com .
A Fellow of both ACM, IEEE and Japan Society of Promotion of
Science, Professor Pradhan is also the recipient of a Humboldt
Prize, Germany. In 1997, Dr. Pradhan was also awarded the Fulbright-Flad
Chair in Computer Science.