Этот великий информатик известен, в том числе, и как исполнительный продюсер в мультфильме "История игрушек". Кто он?