Desde 1965 vivió en Bucarest, donde fue el principal investigador del Centro de Lógica de la Academia Rumana.