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,
- 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.