Václav E. Beneš — American mathematician