Mathematical Sciences
Research Profiles
Dr. Anthony Seda BSc(Wales),MSc( Warw),PhD(Wales),CMath FIMA
English
Follow UCC:
Dr. Anthony Seda BSc(Wales),MSc( Warw),PhD(Wales),CMath FIMA
Research Interests |
 |
| 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. |
Profile Sections
Copyright © UCC