Neil Immerman

Neil Immerman is one of the key developers of 'descriptive complexity', which he is currently applying to research in model checking, database theory, and computational complexity theory. Immerman is the winner, jointly with Róbert Szelepcsényi, of...