[HilbertSpace]

Sure, Tarjan is a good mathematician. Maybe CS wants to claim him, but math should keep him for themselves! And the math of operations research -- Cinlar, Nemhauser, Kuhn, etc. -- is good math.