The central theme of my research interest is validation
implemented by computers. When a computer returns a solution, how does one
know (with mathematical certainty) whether or not the solution is valid?
How is it possible to explicitly model error and
uncertainty in mathematical analyses? There are methods of interval analysis,
probability, possibility theory, and simultaneous (fuzzy) set theory. Of these
methods, those that I find compelling are interval analysis and simultaneous