|The research area in question is the study of a number of models of computation including logic-based models (such as logic
programming), weighted finite automata, and connectionist models (such as neural networks and other networks), and the interaction
of all these. The main focus of my research is their semantics, or formal mathematical meaning, and has as its ultimate objective
the better understanding of them and the enhancement, efficiency, and correctness of computer systems built on them, and on
combinations of them. The impact of this work includes the introduction to this area of various tools familiar in mathematical
analysis, but much less familiar in the area in question. These include topological methods, the use of generalized distance
functions, and fixed-point techniques. Their use has shed much light on the semantics of systems built on these models, especially
in the context of uncertainty as represented by many-valued logics and probabilities.