1946年,Joseph Sifakis出生于希腊的伊拉克利翁。学生时代,他在希腊雅典国立科技大学电子工程系学习,但他同时也对物理有着浓厚的兴趣。后来到法国,在一个偶然的机会下,年轻的Joseph接触到计算机科学,很快就被这门学科深深吸引,改变了专业,并在这条道路上越走越远。1984年,在法国工作的Joseph结识了来自卡内基梅隆大学的Edmund M.Clarke和E.Allen Emerson,他们志同道合,共同开发模型检验技术,使其成为一种高效的验证技术,在硬件和软件行业得到广泛应用。 在Joseph学习计算机科学的过程中,给他带来影响最深的却是一位应用数学家Hugo。Joseph说,Hugo带他走上科研之路,鼓励他探索新的道路,与其他学科背景的学者合作。这也给他带来了灵感与创新的火花。Joseph认为,计算机的背景对于深入了解世界是必不可少的。如果你想拥有创造力,最好有多学科背景。 “当你决定学习计算机科学时,你的抱负应该是成为一个不仅仅是一个简单的程序员的人。你应该学会如何设计需要多学科背景的计算机系统。” Joseph是一位乐于倾听、善于听取不同意见的人,在和他人的交往过程中,他很善于吸取别人思想中的闪光点。“我遇到过很多有趣的人,和他们交谈,他们的思维方式都能够带给我潜移默化的影响。”他能够取得现在的成就,也和他兼容并包、乐于倾听和接受他人思想的精神是分不开的。 Joseph对计算机💻专业学生提出这样的建议:他们应该“努力学习,了解基础,并通过参与研发项目,尝试将它们与应用程序联系起来。”

 
									 
									 
									 
									 
									 
									 
									