|
Dr. Edwards' research interests are within the area of theory of computation, and
more specifically, algebraic automata theory, graph theory, and the modeling and
analysis of the information content and conceptual complexity of software and
natural language. He has done research in automata theory, dealing with the
structure of the input monoid of a finite state automaton revealed by homomorphisms
and strongly connected subautomata. His continued work in abstract automata
theory involves analyzing the ranges
|
and domain partitions of input functions of automata to further reveal their
structure and information processing power. His principal interest is in the
abstraction of the information content of software by its control flow and data
dependency graphs, and by information theoretic models. These models are found to
be relevant to the understanding and testing of software, and to port concepts
readily transferable between different programming environments, for example, from
procedural to rule-based languages.
|
A stack-based probabilistic model has been developed for the generation and
analysis of software.
PROFESSIONAL ACTIVITIES
Dr. Edwards is a member of the Association for Computing Machinery; the IEEE
Computer Society, and the Mathematical Association of America, and has served as
a referee for various IEEE journals and professional conferences.
|