Professor Brian T. Smith

Professor Brian T. Smith received his Ph.D. in Computer Science from the University of Toronto in 1969. His primary research interests are numerical software, and high performance computing. He is currently serving as the Associate Director of the UNM High Performance Computing Education and Research Center.

Principal Publications and Presentations:

• Smith, B.T., Chisholm, G.H., and Wojcik, A.S. "Formal system specifications--A case study of three diverse representations." Argonne National Laboratory Report (ANL-90), Vol. 43, Dec. 1990.

• Smith, B.T. "Fortran 90: The language, numerical applications, and implementation issues." Minisymposium 59. Presented "Using Fortran 90 for zero-finding algorithms" at Siam meeting, July 1990.

• Smith, B.T., Chisholm, G.H., Klajaich, J., Wojcik, A.S. "Formal analysis of software in a fault-tolerant environment." Mathematics and Computer Science Research (MCS), Nov. 1989, pp. 111-189.

• Smith, B.T., Chisholm, G.H., and Wojcik, A.S. "An automated reasoning problem associated with proving claims about programs using the Floyd-Hoare assertion method." Journal of Automated Reasoning, Vol. 5 (1989), pp. 533-540.

• Smith, B.T. "A proposed benchmark for SIMD computations." SIAM Mini-Symposium, San Diego, CA, July 1989; CM-2 Users Group Meeting, Argonne National Laboratory, July 1989.

• Smith, B.T. "Proposal for implementation of numerical software using Fortran 8x." Technical Planning Meeting, Numerical Algorithms Group, Mareton-On-Marsh, Oxfordshire, U.K., June 1989.

• Smith, B.T. "An array model for SIMD computations," New Mexico Institute for Mining and Technology, April 1989.