Career
As a first chairman of the Department of Mathematical Logic at the Bulgarian Academy of Sciences he worked to promote and disseminate the knowledge of mathematical logic both in the professional mathematical community in Bulgaria and as popular science.