Mathematics Researcher To Speak At Baylor Nov. 18

by Judy Long

Dr. Norman R. Howes of the Institute for Defense Analyses in Alexandria, Va., will speak at Baylor University at 3:30 p.m. Thursday, Nov. 18, on "The temporal logic of behaviors: an interaction of logic, topology and computer science." The lecture, to take place in room 242 of Sid Richardson Hall, is sponsored by the vice provost of research and the department of mathematics.
Howes' areas of interest are analysis, topology, logic, applications of logic and topology to computer science, formal specification of distributed systems and distributed system security.
After receiving his bachelor's degree in mathematics at Eastern New Mexico University, Howes pursued master's and doctoral degrees at Texas Christian University. He taught at TCU, the University of Houston and the University of Dallas before entering the business sector.
Since 1987, Howes has served as a researcher at the Institute for Defense Analyses. He is the author of numerous papers and several books, including TAVERNS and the Space Station Software Support Environment and Modern Analysis and Topology.
The lecture is free and open to the public. For more information, contact the office of the vice provost of research at 710-3763.