Neil Immerman is a prominent computer scientist and mathematician known for his contributions to computational complexity theory and formal language theory. He is best known for his work on the expressiveness and complexity of various computational models, particularly in the context of logics and automata. One of Immerman's key contributions is the development of the concept of "definability" in computational complexity, which relates to how certain properties and functions can be expressed in logical languages.
New to topics? Read the docs here!