Professor Song Fangmin, born in Nov.1961, was graduated from Nanjing University in February,1982£¬received B.Sc. degree in 1982, M.Sc. degree in 1985 and Ph.D. degree in 1988. During 1993 and 1994, he visited ETH, Switzerland and CTH, Sweden as a post-doctoral researcher. His resent research interests include Mathematical Logic, Formal Models of Programming and Quantum Computer. He was engaged in research projects funded by the National Natural Science Foundation , the National 863 Hi-Tech Program and Programme Sino-Français de Recherches Avanc¨¦es(PRA), and published over 40 papers. He was awarded the Prize of Progress in Science and Technology by the Ministry of Education. He was honoured with the title ¡°The Excellent Scientists of Jiangsu Province¡± .