具有长期在高等学校科研和教学的经历，我国改革开放后首批访美学者。创立了比特标记技术、Ubit语义计算和层次标记编码等理论。解决了一些计算机科学技术的重要问题，理论和实验证明：一些计算机科学家的梦想能够变为现实。