IBM Skip to main content
  Home     Products & services     Support & downloads     My account  
  Select a country  
Journals Home  
  Systems Journal  
  ·  Current Issue  
  ·  Recent Issues  
  ·  Papers in Progress  
  ·  Search/Index  
  ·  Orders  
  ·  Description  
  ·  Author's Guide  
Journal of Research
and Development
  Staff  
  Contact Us  
  Related links:  
     IBM Software
   Engineering
 
     IBM Research  
IBM Systems Journal  
Volume 41, Number 1, 2002
Software Testing and Verification
 Table of contents: arrowHTML arrowPDF arrowASCII   This article: arrowHTML arrowPDF arrowASCII arrowCopyright info
   

Software debugging, testing, and verification - Author bios

by B. Hailpern and P. Santhanam

Biographical sketches of authors

Brent Hailpern   IBM Research Division, Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, New York 10598-0704 (electronic mail: bth@us.ibm.com). Dr. Hailpern received his B.S. degree, summa cum laude, in mathematics from the University of Denver in 1976, and his M.S. and Ph.D. degrees in computer science from Stanford University in 1978 and 1980, respectively. His thesis was titled, “Verifying Concurrent Processes Using Temporal Logic.” Dr. Hailpern joined the IBM Thomas J. Watson Research Center as a research staff member in 1980. He worked on and managed various projects relating to issues of concurrency and programming languages. In 1990, Dr. Hailpern joined the Technical Strategy Development staff in IBM Corporate Headquarters, returning to the Research Division in 1991. Since then he has managed IBM Research departments covering operating systems, multimedia servers, Internet technology, and pervasive computing. He was also the client product manager for the IBM NetVista™ education software product, for which he received IBM's Outstanding Innovation Award. Since 1999, he has been the Associate Director of Computer Science for IBM Research. Dr. Hailpern has authored 12 journal publications and 13 United States patents, along with numerous conference papers and book chapters. He is a past secretary of the ACM, a past chair of the ACM Special Interest Group on Programming Languages (SIGPLAN) and a Fellow of the IEEE. He was the chair of the SIGPLAN '91 Conference on Programming Language Design and Implementation and was chair of SIGPLAN's OOPSLA '99 Conference. In 1998, he received SIGPLAN's Distinguished Service Award. He is currently chair of the OOPSLA Conference Steering Committee and an associate editor for ACM's Transactions on Programming Languages and Systems (TOPLAS).

Padmanabhan Santhanam   IBM Research Division, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York 10598 (electronic mail: pasanth@us.ibm.com). Dr. Santhanam holds a B.Sc. degree from the University of Madras, India, an M.Sc. from the Indian Institute of Technology, Madras, an M.A. degree from Hunter College, The City University of New York, and a Ph.D. degree in applied physics from Yale University. He joined IBM Research in 1985 and has been with the Center for Software Engineering, which he currently manages, since 1993. He has worked on deploying Orthogonal Defect Classification across IBM software labs and with external customers. His interests include software metrics, structure-based testing algorithms, automation of test generation, and realistic modeling of processes in software development and service. Dr. Santhanam is a member of the ACM and a senior member of the IEEE.