Speaker's Bio
Born: 12/27/29 Sacramento, California

Education: AB, Physics, University of California-Berkeley,
1950

PhD, Mathematics, Stanford University, 1963

**Professional experience**:

1986-2000 Professor, Computer and Information Science,
Ohio State Univ.

1982-86 Professor, Mathematics, Univ.of Texas-Arlington

1968-81 Professor, Computer Sciences, Univ. of Wisconsin-Madison

1965-68 Associate Professor, Univ. of Wisconsin-Madison

1956-64 Lockheed Palo Alto Research Laboratories

1953-56 Univ. of California Radiation Laboratory-Livermore

1950-53 Computing Center, Aberdeen Proving Ground, Maryland

**Visiting Professorships:**

1980 Freiburg, Germany

1975 Karlsruhe, Germany

1974 Oxford, England

1967 Stockholm, Sweden

1965 Mathematics Research Center, Univ. of Wisconsin-Madison

**Consulting:**

2004 Michigan State University

2000-2002 Sun Microsystems

1985-86 Lockheed MSC

1978-79 The World Bank

**Membership:**

Society for Industrial and Applied Mathematics

**Awards:**

Alexander von Humboldt Foundation, US Senior Scientist
Award, 1975, 1980

**Books authored:**

Computational Functional Analysis, Ellis Horwood and John
Wiley, 1985

Methods and Applications of Interval Analysis, S. I. A.
M., 1979

Mathematical Elements of Scientific Computing, Holt, Rinehart&Winston,
1975

Computation and Theory in Ordinary Differential Equations
(with J. W. Daniel), W. Freeman & Co., 1970

Interval Analysis, Prentice-Hall, 1966

** Books edited:**

Reliability in Computing, Academic Press, 1988

**Selected Refereed Papers:**

Interval analysis and fuzzy set theory (with Weldon Lodwick),
Fuzzy Sets and Systems, 135 (2003), 5-9

Sparse systems in fixed point form, Reliable Computing,
Vol. 8, No. 4 (2002), 249-265

Interval analysis:systems of nonlinear equations; Interval
analysis: differential equations

in Encyclopedia of Optimization (Eds: C.A.Floudas&P.M.Pardalos)
Kluwer Academic (2001), 8-11, 34-40

Numerical solutions of differential equations to prescribed
accuracy, Computers and Mathematics with Applications,
28, 10/12 (1994), 253-261

On the resolution of close minima, Computers and Mathematics
with Applications, 25, 10/11 (1993), 57-58

Parameter sets for bounded-error data, Mathematics and
Computers in Simulation, 34 (1992), 113-119

Rigorous methods for parallel global optimization (with
E. Hansen and A. Leclerc), in Recent Advances in Global
Optimization (Eds:C.A.Floudas&P.M.Pardalos), Princeton
Univ. Press (1992), 321-342

Interval tools for computer-aided proofs in analysis,
in Computer Aided Proofs in Analysis, (Eds: K.Meyer&D.Schmidt),
Springer (1991), 211-216

Simple simultaneous super-and subfunctions, Journal of
Integral Equations,8,1985, 165-174

Set-valued extensions of integral inequalities, J. Integral
Equations, 5, 1983, 187-198

A generalization of the method of upper and lower solutions
for integral equations, Nonlinear Analysis TMA, 6, 8,
1982, 829-831

On computing the range of values (with N.S.Asaithambi&Shen
Zuhe), Computing 28, 1982,

225-237

New results on nonlinear systems, in Interval Mathematics
1980 (ed. K. Nickel), Academic Press (1980), 165-180

Interval methods for nonlinear systems, Computing, Suppl.
2, 1980, 113-120

A simple test for accuracy of approx. solutions to nonlinear
systems (with J.B.Kioustelidis),

SIAM J. Numer. Anal., 17, 4, 1980, 521-529

A computational test for convergence of iterative methods
for nonlinear systems, SIAM J. Numer. Anal., 15, 1978,
1194-1196

Bounding sets in function spaces with application to
nonlinear operator equations, SIAM Review, 20, 1978, 492-512

Safe starting regions for iterative methods (with S.
T. Jones), SIAM J. Numer. Anal., 14, 6, 1977, 1051-1065

A test for existence, SIAM J. Numer. Anal., 14, 4, 1977,
611-615

Two-sided approximations to solutions of nonlinear operator
equations--a comparison of methods from classical analysis,
functional analysis and interval analysis, in Interval
Mathematics (Ed. K. Nickel), Lecture Notes in Computer
Science, 29, Springer (1975), 31-47

On the stability of linear recurrence relations with
arbitrary time lags, J. Computer&System Sciences,
4, 4, 1970, 377-383

Functional analysis for computers, In Funktional-analytische
Methoden der Numerische Mathematik, Birkhauser (1969),
113-126

Practical aspects of interval computation, Aplikace Mathematiky,
Svacek 13, Prague, 1968, 52-92

Inviscid flow in an accelerating cylindrical container
(with L.M. Perko), J. Fluid Mechanics,

22, part 2, 1965, 305-320

Automatic coordinate transformations . . ., in Error
in Digital Computation, Vol II, (Ed. L.B.Rall), Wiley
(1965), 103-140

The automatic analysis and control of eror in digital
computation based on the use of interval numbers, in Error
in Digital Computation, Vol I, (Ed. L.B.Rall), Wiley (1965)

Interval arithmetic and automatic error analysis in digital
computing, PhD dissertation,Stanford University (1962),
published as Applied Mathematics and Statistics Laboratories
Technical Report No. 25.