Note: numbers in braces refer to publication list.
Dr. Hoffman's graduate training was concentrated in algebraic topology and related fields. He became interested in certain questions about fixed-point-free self-maps of manifolds, and this led to a study of cohomology endomorphisms of complex flag manifolds. His thesis on this topic (written under the supervision of F. Peterson) was the basis of two papers [2,3] that appeared in 1984. After one year at Ohio State University, he took a year's leave of absence to accept a visiting research position at the Memorial University of Newfoundland. There he collaborated with W. Homer and S. A. Broughton in research on complex flag manifolds [1,4] while continuing his research on fixed-point-free self-maps . He essentially resolved all his original questions about the latter topic a few years after coming to the Naval Academy, and his results appear in a 1989 paper  in the Pacific Journal of Mathematics. He also established several results on homological restrictions on free group actions [7,9]. He has continued to study group-theoretic implications of some of his work on cohomology endomorphisms.
Dr. Hoffman is recognized as an expert on flag manifolds, and his work in this area has been cited in a number of papers. These include that of H. Glover and G. Mislin on Grassmann manifolds, that of H. Shiga and M. Tezuka on cohomology automorphisms of homogeneous spaces, those of S. Papadima on rigidity properties of homogeneous spaces, and that of Duan Haibo and E. Rees on non-focal embeddings. His work on group actions has been cited by L. W. Cusick and J. F. Davis.
In 1986-88 Dr. Hoffman collaborated with his colleague W. D. Withers, a dynamicist, in the investigation of certain polynomials that arise from affine Weyl groups. This resulted in two papers published in 1988: an expository article Withers wrote for the American Mathematical Monthly and a joint paper  in the Transactions of the AMS.
In 1988, Dr. Hoffman's colleague C. Moen brought to his attention a conjecture (the "sum conjecture") involving certain multiple series. In studying these series, Dr. Hoffman soon formulated a second conjecture (the "duality conjecture") and obtained partial proofs of both conjectures, which he published in the Pacific Journal in 1992 . Moen had proved the first previously unknown case of the sum conjecture by a lengthy argument; in 1995 Dr. Hoffman found a short proof of this case by combining a result of his own with one from a 1994 paper of C. Markett. A joint note on this result  appeared in the Journal of Number Theory; subsequently the sum conjecture was proved in full generality by A. Granville and D. Zagier (independently).
In fact, there is currently considerable interest in these series, which have been called "multiple zeta values" by D. Zagier. They appear in several areas of active research, including the work of M. Kontsevich on knot invariants, that of V. G. Drinfeld and others on quantum groups, and that of D. J. Broadhurst on perturbative quantum field theory. Kontsevich's work provided a representation of multiple zeta values as iterated integrals, giving an easy proof of the duality conjecture. In the summer of 1996, Dr. Hoffman initiated an algebraic approach to the study of multiple zeta values. His main result provides an explicit set of values irreducible with respect to algebraic operations (though not with respect to other relations involving limiting processes). His approach also clarifies the relation between the algebra of multiple zeta values and the (well-known) algebra of symmetric functions. His paper detailing this work  appeared in the Journal of Algebra. Some aspects of the problem suggested a general Hopf algebra construction, which was the subject of a later paper . In 1999, Dr. Hoffman conjectured a new identity for multiple zeta values. This "cyclic sum conjecture" was proved the following year by Y. Ohno. The identity and various related algebraic questions are explored in their joint paper . Dr. Hoffman also discovered an occurrence of multiple zeta values in mirror symmetry .
In , Dr. Hoffman described a theory of "covering spaces" for partially ordered sets (posets) in which each covering relation is assigned a weight. One example of such a poset is the set of rooted trees, which serve as generators for the Hopf algebra defined by D. Kreimer in connection with renormalization in quantum field theory. Dr. Hoffman developed these ideas further in , where he gave an isomorphism between the dual of Kreimer's Hopf algebra and the Hopf algebra of rooted trees defined earlier by R. Grossman and R. G. Larson.
In a 1995 article in the American Mathematical Monthly, , Dr. Hoffman studied "derivative polynomials" (polynomials arising from repeated differentiation of the tangent and secant functions) and their relation to certain improper integrals and infinite series. He developed these results further and related derivative polynomials to Springer numbers and other combinatorial sequences, as well as to Euler polynomials, in a later article for the Electronic Journal of Combinatorics .
Two brief expository writings of Dr. Hoffman which appeared in the American Mathematical Monthly have been cited in the literature. His solution to an advanced problem there was cited in a 1990 paper by the distinguished algebraist I. Kaplansky, and his note on finite abelian groups  was used by J. M. Burns and B. Goldsmith to classify maximal abelian subgroups of the symmetric group and to compute the digraph number of a finite abelian group. A note on curvature appeared in the January 1998 Monthly .