Jordi-Lluis Figueras from Uppsala University, Sweden, Alex Haro from University of Barcelona, Spain, and Alejandro Luquez from Institute of Mathematical Sciences, Madrid, Spain, have been awarded the 7th biannual R. E. Moore Prize for Applications of Interval Analysis.
The R. E. Moore Prize was established in 2002 by the Editorial Board of Reliable Computing, an International Journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy.
The 2018 R. E. Moore Prize is awarded to Drs. Figueras, Haro, and Luque for their paper "Rigorous Computer-Assisted Application of KAM Theory: A Modern Approach", published in Foundations of Computational Mathematics in 2017 (Vol. 17, No. 5, pp. 1123-1193).
The detailed information about the R. E. Moore Prize is attached.
APPPENDIX
The R. E. Moore Prize for Applications of Interval Analysis:
Description and Rationale
The idea of arithmetic over sets to encompass finiteness, roundoff error, and uncertainty dates back to the first part of the twentieth century or earlier. By the late 1950's, with exponentially increasing use of digital electronic computers for mathematical computations, interval arithmetic was a concept whose time had come. With his 1962 dissertation "Interval Arithmetic and Automatic Error Analysis in Digital Computing," encouraged by George Forsythe, Prof. Ramon Moore was one of the first to develop the underlying principles of interval arithmetic in their modern form. Prof. Moore subsequently dedicated much of his life to furthering the subject. This includes guidance of seven Ph.D. students, interaction with other prominent figures in the area such as Eldon Hansen, Louis Rall, and Bill Walster, and publication of the seminal work "Interval Analysis" (Prentice Hall, 1966) and its update "Methods and Applications of Interval Analysis" (SIAM, 1979). In addition, Prof. Moore published a related book "Computational Functional Analysis" (Horwood, 1985), and organized the conference with proceedings Reliability in Computing (Academic Press, 1988). This latter conference was a major catalyst for renewed interest in the subject. It is safe to say that these accomplishments of Professor Moore have made interval analysis what it is today. To continue and further this tradition, in 2002, we decided to dedicate to Prof. Moore a biennial prize for the best dissertation or paper in applications of interval analysis.
Note: By "applications" we intend primarily applications in engineering and the sciences that will bring further recognition to the power of interval computations. However, we do not wish to rule out significant and widely recognized "pure" applications. The editorial board of the journal "Reliable Computing" judges this.