Professor
College of Arts & Sciences – Computer & Information Sciences
Email: boxer@niagara.edu
Website: http://purple.niagara.edu/boxer
Phone: (716) 286-8447
Fax: (716) 286-8445
Office Location: Marian House
Dr. Boxer teaches computer programming, as well as applications such as geographic information systems. His research interests are in the mathematical theory of computing, particularly in algorithms and digital topology. In 1993, Dr. Boxer was recognized by the College of Arts and Sciences for excellence in research.
I have two major areas of interest, both of which fall under the mathematical theory of computing.
One area is the theory of algorithms, which involves finding solutions to programming problems and studying the computing resources (time and memory) required by these solutions. I am particularly interested in algorithms for parallel computers. Several of my recent papers are concerned with algorithms for coarse-grained parallel computers (roughly, a coarse-grained parallel computer is one whose number of processors is restricted to being small enough that a medium-sized organization might afford to purchase the machine).
Other areas in which I have done algorithms research include computational geometry, image processing, and string pattern matching. I am co-author of a highly praised textbook on algorithms.
A second area of interest is the emerging field of digital topology. A digital image is stored in computer memory as a collection of discrete dots (like grainy old newspaper photos), rather than as a "continuous body." Therefore, computing and recognizing geometric and topological properties of a digital image, consistent with the geometric and topological properties of the real-world continuous body modeled by the image (perhaps the simplest interesting property is connectedness), requires mathematical theory - digital topology - with a foundation very different from those of Euclidean geometry and Euclidean topology. Several of my recent papers are concerned with adapting computation of the "fundamental group" - a classical topic of algebraic topology - to digital images.