In 1987 he was awarded the prize "Nikola Obreshkov" – the highest national award for achievements in mathematics, given for his monograph "Algebraic Recursion Theory". UNHCR Award for his contribution to refugee studies.