词条 约瑟夫·斯发基斯

约瑟夫·斯发基斯

约瑟夫·斯发基斯英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日)是一名希腊计算机科学家和他也有法国国籍 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在en:Model checking取得的杰出贡献而获得图灵奖。

约瑟夫·斯发基斯简介资料
1946年12月26日
希腊、法国
CNRS
Model-Checking的研发
约瑟夫·斯发基斯相关文献
约瑟夫·博伊斯
经历博伊斯出生在德国北莱茵-威斯特法伦的克列弗尔德,父亲是小商人。博伊斯青少年间就表现出叛逆的性格,中学期间他曾逃学到一家马戏团打工。1938年后他加入了阿道夫希特勒青年团,二次世界大战中参加空军,曾受伤降落在苏联领土被救。战争中多次负伤使得他腿脚有毛病,行动不便二战后在克莱沃向当地艺术家学习雕塑及绘画艺术,同时认识了凡·格林腾兄弟。1947年博伊斯进入杜塞尔多夫艺术学院开始系统地学习艺术,师从恩塞林(JosephEnseling)、马塔利(EwaldMataré)等人。然而1953年他大学毕业后却找不到工作。其未婚妻也解除了和他的婚约,这些打击使得博伊斯一蹶不振并一度打算自杀。凡·格林腾兄弟帮他举办了一些小规模的展览,同时把他送到乡下两兄弟母亲的农场内进行调整。在农场生活工作了两年之后博伊斯重新恢复了信心,1959年与艾娃·汪姆芭走入婚姻殿堂并育有一对儿女。1961年,他被母校聘为教授,...
查看全文
约瑟夫·高斯瓦夫斯基
进阶阅读Rudzka,Anna(2009)(inpl).JózefGosławski.Rzeźby,monety,medale.Warsaw:Alegoria.ISBN978-83-62
查看全文
约瑟夫·班克斯
生平早年生活1757年班克斯和植物的肖像画插图。作者不明,但是被认为是LemuelFrancisAbbott或是JohannZoffany的班克斯出身于伦敦阿盖尔大街。他的父亲威廉&mid
查看全文
约瑟夫·亚伯斯
生平阿尔伯斯1888年出生于德国威斯特法伦州波特洛普的一个天主教工匠家庭。他曾就读柏林、埃森和慕尼黑的艺术学校;1920年进入包豪斯学习,一年之后由于在玻璃作品中的出色表现,成为包豪斯玻璃工作坊的技术指导教师。并于1923—33年间受聘为包豪斯学校的教师。由于二战前夜希特勒政权的重压,包豪斯于1933年8月关闭,约瑟夫.亚伯斯夫妇应邀前往美国的北卡罗来纳州黑山学院的实验人文学院任教。后来又陆续曾在哈佛大学、墨西哥大学、辛辛那提艺术学院等任教。1950年起,亚伯斯开始担任耶鲁大学设计系主任,并定居于康乃狄克州的纽黑文。于美国期间,亚伯斯创作了他著名的极简主义作品《向正方形致敬》(HomagetotheSquare)系列和《变换形式∕土砖》系列。其教学也影响了后来的大批美国近现代艺术家。约瑟夫.亚伯斯于1976年逝世于纽黑文。参考资料^JosefAlbers,ArtistandTeacher,...
查看全文
约瑟夫·斯发基斯
PersonalhomepageTuringAwardannouncement
查看全文
约瑟夫·斯发基斯相关标签
1946年出生
法国计算机科学家
图灵奖获得者
国立雅典理工大学校友
希腊计算机科学家
在世人物
信息技术科学家
信息技术科学家
家族谱大览
张氏族谱
张氏族谱
野川镇上西社村
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石桐院斯氏宗谱 [不分卷]
原书: [出版地不详 : 出版者不详], 1997年重修. 1册 : 人像. 始祖(1世) : 斯伟,行肇一. 由磁阳徙浙江东阳后里. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 居斯孝乡(今六石镇西后里). 桐院始迁祖(46世) : (明) 斯尚源,行荣十八. 生三子 : 斯有美 ; 斯有荣 ; 斯有华,行华三十八. 仁房祖(53世) : 斯献郁. 生三子 : 斯光桂(松房) ; 斯光松(竹房) ; 斯光槐(梅房). 智房祖(53世) : 斯献邦. 生二子 : 斯光辉 ; 斯光圣. 勇房祖(53世) : 斯献智. 生一子 : 斯光林. 散居地 : 浙江省东阳县等地. 书名据书衣题编目.
浏览:0