Answer
Iverson's work is primarily recognized in the field of computer science, particularly for his contributions to programming languages and formal verification. While his work has had some influence in other fields, such as mathematics, its impact has been limited compared to its significance in computer science.