ARTHUR T. POE, Ph.D

Dr. Poe's research has been primarily in the area of automata and languages. His earlier work was in the algebraic theory of machines: decompositions involving inter-connected automata (ACM CS Conference, Information and Control). His recent interest is in Discrete Structures and Mathematics (IEEE, International Journal of Computer and System Sciences).

While on leave from Temple in 1979, he visited the MIT AI lab and was also on the faculty at Boston College. During 1980-81, he was awarded a Fellowship by the U.S. Department of Transportation. As a Faculty Fellow at the Transportation Systems Center, the research center of the U.S. DOT located in Cambridge, Massachusetts, he worked on Automated Guideway Systems. Later, he was a consultant studying station pedestrian flow model and optimal egress under emergency evacuation. he was a consultant to the Board of Regents of Higher Education, Commonwealth of Massachusetts, to review existing and newly proposed curricula in Computer Sciences.

While on research leave in the Fall of 1992, Dr. Poe was appointed as a Visiting Professor at UMIACS (university of Maryland Institute of Advanced Computing Studies). He participated in the study of Formal Specification and Testing of Comunication Protocols. Currently, he is supervising a dissertation in Formal Methods.

Dr. Poe's other academic experiences include University of Illinois at Champaign-Urbana, National Tsing-Hua University, Boston College and University of Lowell.

SELECTED PUBLICATIONS