计算之智与哲学之慧分享 http://blog.sciencenet.cn/u/huangfuqiang

博文

元系统跃迁(转换)理论的提出者--图琴

已有 7125 次阅读 2010-4-12 08:09 |个人分类:信息&工程&逻辑哲学|系统分类:人物纪事

About Valentin Turchin

Valentin F. Turchin

Professor Emeritus of Computer Sciences,
the City College,
the City University of New York

Member of the Principia Cybernetica Editorial Board

Chief Scientist at Supercompilers, LLC

Curriculum Vitae

  • 1931 Born in Russia.
  • 1952 Graduated from Moscow University in Theoretical Physics.
  • 1953 - 1964 The Institute for Physics of Energy, Obninsk, Russia.
  • 1957 Ph.D. in Physical and Mathematical Sciences.
  • 1964 - 1974 Keldysh Institute for Applied Mathematics, Moscow.
  • 1977 Emigrated to the USA.
  • 1977 - 1979 Courant Institute for Mathematical Sciences, New York.
  • 1979 - 1999 The City College of New York, Professor of Computer Science.
  • 1998 Co-founded the software start-up SuperCompilers, LLC
  • 09/01/1999 Retired from City College

Research Interests

Theoretical Physics, Applied Mathematics, Computer Languages and Systems, Cybernetic Philosophy, Automatic Program transformation.

Publications (Selection)

  • Books:
  • Selected recent papers:
    • "The concept of a supercompiler", ACM Transactions on Programming Languages and Systems, 8, pp.292-325, 1986
    • "A constructive interpretation of the full set theory", Journal of Symbolic Logic, 52, pp.172-201, 1987
    • "On Cybernetic Epistemology", Systems Research, Vol.10, No.1, pp. 3-28, 1993
    • "The cybernetic ontology of action", Kybernetes, 22, No.2, 1993, pp.10-30
    • "Program transformation with metasystem transitions", Journal of Functional Programming 3(3) pp.283-313, July 1993
    • "Supercompilation: Techniques and Results", in: Perspectives of System Informatics, pp. 229-248, LNCS, vol 1181, Springer, 1996.
    • "Metacomputation: Metasystem Transitions plus Supercompilation", in: Partial Evaluation, pp. 481-510, LNCS, vol. 1110, Springer, 1996.
     信息来源于:http://pespmc1.vub.ac.be/TURCHIN.html


https://blog.sciencenet.cn/blog-89075-311154.html

上一篇:基于链接文法的英语句子分析器Link Grammar Parser
下一篇:ACM/IEEE模型驱动工程、语言、系统国际会议2010(挪威)
收藏 IP: .*| 热度|

0

该博文允许实名用户评论 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-7-29 01:18

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部