|
George Corliss, Ph.D.
Research Interests
- Validated Scientific Computation
- Interval Arithmetic
- Automatic Differentiation
- Taylor Series
- Numerical Solution of Ordinary Differential Equations
- Mathematical Modeling
- Industrial/Applied Mathematics.
Professional Preparation
Michigan State University |
Ph.D.
|
1974 |
College of Wooster |
B.A.
|
1969 |
Appointments
2001 |
Professor |
Electrical and Computer Engineering
Marquette University
Milwaukee, WI
|
1998-1999
|
|
Placed at Aurora Health Care as Project Manager
Compuware
Detroit, MI |
1991-1992 |
Sabbatical,
|
Mathematics and Computer Science
Argonne National Laboratory
Argonne, IL |
| 1990 |
Professor |
Mathematics, Statistics and Computer Science
Marquette University
Milwaukee, WI |
1984-1985 |
Sabbatical
|
Army Mathematics Research Center
University of Wisconsin,
Madison, WI
|
| 1982 |
Associate Professor |
Mathematics, Statistics and Computer Science
Marquette University
Milwaukee, WI |
| 1978 |
Assistant Professor |
Mathematics and Statistics
Marquette University
Milwaukee, WI |
1978 – present |
|
Marquette University
Milwaukee, WI |
1974-1978 |
Assistant Professor |
Computer Science and of Mathematics and Statistics
University of Nebraska – Lincoln, Lincoln, NE
|
1973-1974 & 1969-1972 |
Assistant Instructor |
Mathematics
Michigan State University
East Lansing, MI |
1972-1973 |
Analyst |
Social science research for State of Michigan
Unco, Inc.
Washington DC |
Honors
| 1995 |
Indirect participant in the 1995 Wilkinson Prize (Awarded to Chris Bischof and Alan Carle for ADIFOR 2). Award presentation too place July 3, 1995 at the International Conference in Industrial and Applied Mathematics (ICIAM 95) in Hambur, Germany. |
Professional Activities
1998-Present |
Canadian Society for Industrial and Applied Mathematics |
1989-Present |
Sigma Xi, . Marquette Chapter Secretary for 1995-Present |
| 1978-Present |
Association for Computing Machinery |
| 1974-Present |
Society for Industrial and Applied Mathematics |
| 1968-Present |
Phi Beta Kappa, Marquette Chapter President for 3 years |
Current Research
- Automatic differentiation and interval mathematics
Selected Recent Publications
George F. Corliss and Kaj Madsen, Second Scandinavian Workshop on Interval Methods and Their Applications, Reliable Computing, 12/2, April 2006, pp. 167 – 169. |
George F. Corliss, Chris Foley, and R. Baker Kearfott, Formulation for Reliable Analysis of Structural Frames, accepted for Reliable Computing. |
H. Martin Brücker and George F. Corliss, A Bibliography of Automatic Differentiation, in Automatic Differentiation: Applications, Theory, and Implementations, 2005, pp. 319 – 352. |
Martin Brücker, George Corliss, Paul Hovland, Uwe Naumann, and Boyana Norris, eds., Automatic Differentiation: Applications, Theory, and Implementations, Springer Lecture Notes in Computer Science, 2005. |
George F. Corliss and Jun Yu, Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic, in Springer Lectures Notes on Computer Science (LNCS no. 2992), Numerical Software with Result Verification: Platforms, Algorithms, Applications in Engineering, Physics, and Economics, Rene' Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther eds., 2004, 91 – 105. |
George F. Corliss, Automatic Differentiation Bibliography, in Automatic Differentiation: From Simulation to Optimization, George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët, and Uwe Naumann (eds.), Springer, New York, 2002.
|
George F. Corliss and Louis B. Rall, Bounding Derivative Ranges, in Encyclopedia of Optimization, Panos M. Pardalos and C. A. Floudas (eds.), Kluwer, Dordrecht, 2001.
|
| Louis B. Rall and George F. Corliss, Automatic Differentiation: Point and Interval, in Encyclopedia of Optimization, Panos M. Pardalos and C. A. Floudas (eds.), Kluwer, Dordrecht, 2001. |
| Ned S. Nedialkov, Ken R. Jackson, and George F. Corliss, Validated Solutions of Initial Value Problems for Ordinary Differential Equations, Appl. Math. & Comp., 105 (1), 1999, pp. 21-68. |
| George F. Corliss and R. Baker Kearfott, Rigorous Global Search: Industrial Applications, in Developments in Reliable Computing, Tibor Csendes (ed.), Kluwer, Dordrecht, Netherlands, 1999, pp. 1-16. |
| Xin Feng, Richard Kelnhofer, and George F. Corliss, “A New Interval Bounding Algorithm for Parameter Estimation from Bounded Error Data,” in Proceedings of IFAC '99: 14th World Congress of International Federation of Automatic Control, Beijing, China, July 1999. |
| George F. Corliss, SCAN '98 Collected Bibliography, in Developments in Reliable Computing, Tibor Csendes (ed.), Kluwer, Dordrecht, Netherlands, 1999, pp. 383-402. |
|
