Caryn Linda Navy independently rediscovered Euclid's formula for even perfect numbers at age 14. Born in Brooklyn in 1953, she pursued a career that spanned advanced set-theoretic topology and the development of essential Braille translation software. Her contributions bridge the gap between abstract mathematical research and the creation of accessible computing tools for the blind community.
Academic Foundation
Navy attended the Massachusetts Institute of Technology from 1971 to 1975, where she majored in mathematics. During this time, advisor James Munkres introduced her to topology. Upon graduation, she received the AMITA Senior Academic Award. She continued her graduate studies at the University of Wisconsin–Madison, earning an M.A. in 1977 and a Ph.D. in 1981 under the supervision of topologist Mary Ellen Rudin.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Contributions to Topology
Her doctoral thesis, "Nonparacompactness in Para-Lindelöf Spaces," significantly advanced metrizability theory. Navy constructed counterexamples to the conjecture that all para-Lindelöf spaces are paracompact. These spaces functioned as counterexamples to the normal Moore space conjecture. Stephen Watson noted that Navy's construction method appeared canonical, providing a foundational approach that allowed William Fleissner to later resolve aspects of the normal Moore space conjecture.
Software Development
In 1981, Navy began a visiting assistant professorship at Bucknell University. Concurrent with her teaching, she served as a lead consultant for Raised Dot Computing, a firm founded by her husband, David Holladay. The company focused on Braille translation software. In 1984, she left academia to join the company full-time. She contributed significantly to the development of BRAILLE-EDIT and the widely used software MegaDots, which provided Braille translation for personal computers.
Braille Standardization
Following the acquisition of Raised Dot Computing assets by Duxbury Systems in 1999, Navy continued her work in the field of assistive technology. She remains an active member of the Braille Authority of North America. Within this organization, she serves as a consultant to the Nemeth Code Technical Committee, leveraging her expertise in the specialized Braille system used for mathematical notation.
Fast facts
- Born: 1953, Brooklyn, United States
- Undergraduate Degree: Massachusetts Institute of Technology
- Graduate Degrees: University of Wisconsin–Madison
- Ph.D. Supervisor: Mary Ellen Rudin
- Academic Employment: Bucknell University
- Key Software: BRAILLE-EDIT, MegaDots
- Professional Membership: Braille Authority of North America
Questions readers ask
What is the Nemeth Code?
It is a Braille system specifically designed for writing mathematics, which Navy learned during her schooling.
What was the significance of Navy's doctoral thesis?
It provided critical counterexamples to the normal Moore space conjecture in the field of set-theoretic topology.
Achievements
- Held posts at Bucknell University
- Fields: topology
