Personalia
Back to the main menu of the Interval
Computations website
Homepages of Interval Computations Researchers
 Marilton Sanchotene de
Aguiar (cellular automaton models based on interval mathematics)
 Goetz
Alefeld (in German)
Member of the
European Academy of Sciences
 Rene Alt
 Fernando
L. Alvarado (software for managing interval systems of equations,
electric power systems)
 Vinícius
Alvim Andrade
 Joaquim Armengol Llobet
(modal interval analysis and its applications to dynamical systems)
 Hossein
Arsham (Interval Computational Optimization with Sensitivity Analysis)
 B.
Ross Barmish (robust control)

Benjamin C. Bedregal (computability aspects of interval
computations)

Nelson Beebe

Frederic Benhamou (interval constraints)
 Daniel Berleant (probability)

Heiner Berlejung (in German)
 Martin
Berz (Taylor models, interval computations, automatic
differentiation, and their application to physics)
Fellow of the American Physical Society (APS)
 Gerd
Bohlender
 Stefan Borovac
 Keith M.
Briggs (exact reals)
 Marcília Andrade
Campos (interval probability)

L.G. Casado (Interval global optimization)
 Enrique Castillo
(interval initial conditions and interval constraints for ODEs)
 Martine
Ceberio (optimization, constraint programming, soft constraints)
 Andras Csallner
 Tibor Csendes
 George F. Corliss
 Gregory E. Coxson (interval
linear algebra algorithms and applications os these and other interval
algorithms in engineering and science)
 Annie Cuyt
 Marc Daumas
(reliable, adapted and certified computer arithmetic)
 Stefano De Pascale
 Graçaliz Pereira
Dimuro (semantic models
based on interval coherence spaces, interval models for soft computing,
domaintheoretical foundations for interval mathematics)
 Tiaraju Asmuz
Diverio (applications to power engineering)
 Maarten
Van Emden
 Richard J. Fateman
(scientific programming; algebraic manipulation by computer)
 Luiz Henrique de Figueiredo
(applications of interval and affine arithmetic)
 Andreas Frommer
 Juergen
Garloff (robust control, polynomial systems)

Stefan Geörg (in German)
 Alexandre Goldsztejn
(intervals and constraints)
 Laurent
Granvilliers (interval constraints, numeric Constraint
Sastifaction Problems, symbolic/numeric algorithms, parallel algorithms)
 Markus Grimmer
 Pascal
Van Hentenryck
 Peter
Hertling
 Timothy Hickey

Matthias Hocks (in German)
 Werner
Hofschuster
 Carlos Holbig
(interval computations in high performance environment)
 Chenyi Hu
(scientific computing, parallel computation and architecture,
interval analysis and applications)
Chair, Computer Science Department
 Eero
Hyvönen
 Ronald Van Iwaarden
(interval arithmetic, automatic differentiation, global optimization)
 Ken Jackson
(numerical solution of ODEs and related problems)

Peter Januschke (in German)
 Luc Jaulin
(interval analysis, with application to boundederror
estimation and robust control)
 Robert I. John
(intervalvalued fuzzy sets and their applications)
 Fabienne Jezequel

R. Baker Kearfott

Tim Kersten (in German)
 YounKyung Kim
(Taylor models)
 Martin
Koeber (in German; enclosure methods for differential
equations and nonlinear systems of equations)
 Lubomir
Kolev; for a list of publications,
click
here (solving linear and nonlinear systems of equations, robust
stability, global optimization, application of interval
analysis in electrical engineering)
 Walter Kraemer
 Werner Krandick
 Vladik Kreinovich
(feasibility of interval algorithms; applications of interval computations)

Ulrich Kulisch (in German)
 Wolfgang Kühn
(discrete and continuous dynamical systems)
 Zenon Kulpa
(diagrammatic approach to interval algebra and arithmetic;
linear interval equations)
 Steve Kwee (in German)
 Bruno Lang
 Weiye Li (combining
intervals with probabilities)
 Rudolf
Lohner
 Johannes Luethi

Shikharesh Majumdar
(applications of interval computation to performance
evaluation of computing systems)

Ramon Lopez de Mantaras
 Kaj Madsen
 Kyoko Makino
(Taylor models, automatic differentiation, application to physics)
 Mihaly Markot
(applications to geometrical combinatorics; intervalrelated space
engineering applications)
 Svetoslav Markov
(numerical methods with result
verification, convex and interval analysis, computer arithmetic, linear
algebra, dynamical models of biological processes)
 Nuria Mata (interval
methods in geometry, with applications to computer vision,
computeraided design, etc.)
 Ramon E. Moore
(interval computations)
 Norbert
Mueller
 JeanMichel Muller
(computer arithmetic: algorithms and architecture)
 P. S. V. Nataraj
(interval analysis, Taylor methods,
and applications in control systems engineering)
 Patricia
A. Nava (combining interval, fuzzy, and neural
techniques)
 Ned Nedialkov
(validated methods for differential equations)
 Markus
Neher (in English and German)
 Vyacheslav (Slava) Nesterov
 Arnold
Neumaier (optimization, linear algebra, computerassisted
proofs, enclosure of solutions of differential equations)
 Shin'ichi Oishi
 Vadim Olshevsky
(systems with structured matrices, and applications to data and signal
processing)
 Pavel Pankov
Chair, Department of Mathematics and Physics,
International University of Kyrgyzstan
Corresponding Member, Kyrgyzstani National Academy of Sciences
 Ljiljana Petkovic
 Miograd Petkovic
 Knut Petras (validated
methods for ODEs)

John D. Pryce
 Stefan
Ratschan
 Dietmar Ratz
(in German)
 Gabriel Dos Reis
 Nathalie Revol
(arbitrary precision interval computations,
scientific computing, global optimization)
 Luis M. Rocha
(computing uncertainty of intervalbased sets)
 Jiri Rohn
 Michel
Rueher (interval constraints)
 Siegfried Rump
 Nikolaos
Sahinidis
 Regivan Hugo Nunes
Santiago
(domaintheoretical foundations for interval mathematics)
 Hermann Schichl
 Marco
Schnurr
 Michael
Schulte
 Luis
A. Seco (interval methods in quantum mechanics)
 Alexander Semenov
 Stig Skelboe
 Dmitri Shiriaev
 Yuri Shokin
(computational fluid dynamics, interval analysis)
 Simeon Simoff
(interval approach to reasoning with incomplete knowledge)
Senior Member,
Institute of Analytic Professionals of Australia
(IAPA)
 Mark Stadtherr
 James E. Stine, Jr.
(interval hardware)
 Jorge Stolfi
(affine arithmetic and applications)
 Peter
Gabor Szabo (optimization, in particular combinatoric geometric
optimization)
 Raul
Antonio Trejo Ramirez (interval functions; adding intervals to
functional languages)
 Warwick Tucker
(dynamical systems)
 Jeff
Tupper (generalized interval arithmetic)

I. Burhan Turksen (intervalvalued fuzzy sets)
Fellow of IEEE,
Fellow of the International Fuzzy Systems Association (IFSA)
 Josep Vehi (interval methods
in control)
 Brigitte Verdonk
(interval arithmetic and symbolicnumeric computation)
 G.
William Walster
 Carol L. Walker
(intervalvalued fuzzy sets)
 Yoshitaka
Watanabe

Andreas Wiethoff (in German)

Michael Wolfe

Juergen Wolff von Gudenberg
(and his technical report on accelerating
interval multiplication)
 Gang Xiang
(computing and applying statistics under interval uncertainty)
 Yiyu Yao (set
intervals, operations with set intervals, and their applications)
 Jun Yu
 Ilya Zaslavsky (error
propagation, error visualization)
 Jens Zemke
 Piotr
Zgliczynski (rigorous, computer assisted study of dynamics of PDEs)
Back to Interval Computation Researchers
Back to the main menu of the Interval
Computations website
Homepages of Students Doing Research in Interval Computations
Back to Interval Computation Researchers
Back to the main menu of the Interval
Computations website
Homepages of Researchers Applying Interval Computations
 Luke
E. K. Achenie (applications chemical engineering)
 Gianni Arioli
(computer assisted methods for the study of dynamical systems)
 Arrigo
Benedetti
(application of interval methods to circuit design and simulation
problems)

Andrew P. Bernat (parallel computations and astronomical applications)
 Adrian Bowyer
(application to geometric modeling, in particular, to
manufacturing, robotics, archeology, etc.)

James Buckley (interval methods in intelligent control)
 Sergey Chesnokov
(use of intervals and partially known probabilities in logical
reasoning and data processing; webpage in Russian)
 Isaac
Elishakoff (applications to Mechanical Engineering)
 Greg Hager
 Thomas
C. Hales (densest arrangements of spheres in space)

Joel Hass (geometric computations)
 Robert JoanArinyo
(geometric problems in ComputerAided Design and
ComputerAided Manufacturing)
 Andreas
Klimke (fuzzy data processing)
 Igor
Kozine (Reliability and risk analysis, Creating databases with
reliability and reliability related information, uncertainty analysis
with imprecise probabilities)
 Honghai Liu (fault
detection and diagnosis of space robots)
 Weldon Lodwick
(use of interval and fuzzy methods in optimization,
differential equations, and Geographical Information Systems, with
applications to biomedicine, environment, and industrial processes)
 Fabien Lydoire
(applications to robotics;
the original webpage in French)
 Jerry Mendel
(intervalvalued fuzzy sets and their applications)
Life Fellow of IEEE
 JeanPierre
Merlet (applications to mechanisms, robots, medical robots,
and optimization)
 Robert
Mullen (uncertainty in mechanics and civil engineering)
Fellow of the
American Society of Civil Engineers (ASCE)
 Rafi
L. Muhanna (reliable engineering computing)
 Mirko Navara
(intervalvalued fuzzy sets)
 Hung T. Nguyen
(interval bounds for probabilities and degrees of belief)
 Nicholas
M. Patrikalakis (applications to CAD/CAM, geometric modeling, data
approximation, shipbuilding, and robotics)
 Witold Pedrycz
(information granulation)
IEEE Fellow
 Boris
Peltsverger (networks, control)
 Hanh H. Pham
(applications to planning; applications to investment and
marketing)
 Andrzej Pownuk
(applications of interval, probabilistic, and fuzzy techniques in
civil engineering)

Alessandro Provetti
 Jose Ragot
(applications to diagnosis and facult detection)
 Jose Rodellar
(robust control, active control of civil engineering structures)
 Timothy J. Ross
(intervals in building
possibility distributions, for use in reliability theory)
Fellow of the
American Society of Civil Engineers (ASCE)
 Sanjeev V. Sabnis
(applications to statistics)
 Giovanni
Spagnuolo (in Italian; uses interval techniques and evolutionary
algorithms for circuit simulation and circuit tolerance analysis and
design)
 Nilo
Stolte (computer graphics: interval arithmetic,
implicit surfaces, and voxels)
Back to Interval Computation Researchers
Back to the main menu of the Interval
Computations website
Homepages of Students Working in Applications of Interval Computations
Back to Interval Computation Researchers
Back to the main menu of the Interval
Computations website