Dimiter Skordev

From Wikipedia, the free encyclopedia

Dimiter Skordev (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. Kliment Ohridski University of Sofia. Chairman of the department in 1972-2000. Doyen and pioneer of mathematical logic research in Bulgaria who developed a Bulgarian school in the theory of computability, namely the algebraic (or axiomatic) recursion theory.

Skordev's field of scientific interests include computability and complexity in analysis, mathematical logic, generalized recursion theory, and theory of programs and computation.

Skordev has over 35 years of lecturing experience in calculus, mathematical logic, logic programming, discrete mathematics, and computer science. He authored more than 100 scientific publications including two monographs, and was the principal author of the new Bulgarian phonetic keyboard layout adopted as a state standard in 2006.

[edit] References

• Dimiter Skordev
• Historical notes on the development of mathematical logic in Sofia