Dimiter Skordev ( en búlgaro : Димитър Скордев ) (nacido en 1936 en Sofía ) es profesor del Departamento de Lógica Matemática y Aplicaciones de la Facultad de Matemáticas y Ciencias de la Computación de la Universidad de Sofía . Presidente del departamento entre 1972 y 2000. Decano y pionero de la investigación en lógica matemática en Bulgaria , desarrolló una escuela búlgara en la teoría de la computabilidad, a saber, la teoría de la recursión algebraica (o axiomática). Fue el ganador en 1981 del Premio Acad. Nikola Obreshkov , el máximo galardón búlgaro en matemáticas, otorgado por su monografía Espacios combinatorios y recursividad en ellos . [1]
El campo de intereses científicos de Skordev incluye la computabilidad y la complejidad en el análisis , la lógica matemática , la teoría de recursión generalizada y la teoría de programas y computación .
Skordev tiene más de 45 años de experiencia como profesor de cálculo , lógica matemática , programación lógica , matemáticas discretas y ciencias de la computación . Es autor de cerca de 90 publicaciones científicas, incluidas dos monografías, y fue uno de los autores de la nueva distribución del teclado fonético búlgaro propuesta (pero rechazada) para convertirse en estándar estatal en 2006.