Who did charles simonyi marry

Who did charles simonyi marry pictures 5