伯特蘭·邁耶
伯特蘭·邁耶（，），生於法國，程式語言專家，Eiffel程式語言的創造者，曾提出契约式设计觀念。 生平 於巴黎综合理工学院取得學士學位，美國史丹佛大學碩士，於法國南錫大學取得博士學位。 2001年10月，成為苏黎世联邦理工学院軟體工程教授。 著作 1988年，出版《物件導向軟體建構》（Object-Oriented Software Construction），為物件導向編程的經典作品。
标签：#程序语言研究者
共 5 篇文章
東尼·霍爾
查爾斯·安東尼·理查德·霍爾爵士（，縮寫為C. A. R. Hoare，），暱稱為東尼·霍爾（，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。 生平 東尼·霍爾的父親是一位公務員，服務於英屬錫蘭。其母親是茶園主人的女兒。 東尼·霍爾在可倫坡出生，在英國本土受教育。1956年，在牛津大學墨頓學院取得西洋古典學學士學位。在大學畢業後，進入英國皇家海軍服兵…
尼克劳斯·维尔特
尼克劳斯·埃米尔·维尔特（，），生於瑞士溫特圖爾，是瑞士計算機科學家。 從1963年到1967年，他成為斯坦福大学的計算機科學部助理教授，之後又在苏黎世大学擔當相同的職位。1968年，他成為苏黎世联邦理工学院的信息学教授，又往施乐帕洛阿尔托研究中心進修了兩年。 他是好幾种編程語言的主設計師： Algol W Modula Pascal Modula-2 Oberon 他亦是Euler語言的發明者之一。1984年他因發展了這些語言而獲图灵…
让·伊希比亚
让·戴维·伊希比亚（Jean David Ichbiah，1940年3月25日 - 2007年1月26日） 是一位法国電腦科學家。他是希腊和土耳其犹太人的后裔 。他故鄉位於塞萨洛尼基，後來他移民到法国。 1977年至1983年期間，他是Ada的首席设计师。 参考文献
帕特里克·库索
帕特里克·库索（Patrick Cousot，）是一位法国计算机科学家。在2000年代，他一直致力于为关键嵌入式软件（如航空电子设备）提供实用的静态分析方法。自1991年以来，他一直在巴黎高等师范学院担任计算机科学教授。 参考资料 [https://www.di.ens.fr/~cousot/cv/short.shtml Short biography] 外部链接 [http://cs.nyu.edu/~pcousot/ Patrick…