-
Anonymous
沼泽天花
Post
by Anonymous »
“Maria Marsha A. Chechik”是一位计算机科学家,在加拿大多伦多大学计算机科学系担任贝尔大学软件工程系主任。她的研究涉及软件工程,特别是使用形式化方法来确保工业和健康应用中软件的安全性和可靠性。
==教育和职业==
Chechik 来自苏联。
她于1996年加入多伦多大学计算机科学系,并于2000年与电气与计算机工程系交叉任职。她于2019年至2022年担任计算机科学系主任,并担任信息学院代理院长2022年。
==认可==
Chechik 被任命为 2024 年 ACM 院士,以表彰“对大规模高质量软件开发的形式推理的贡献”。
*[https://www.cs.toronto.edu/~chechik/主页]
*
出生年份缺失(活着的人)
活着的人
苏联移民加拿大
加拿大女性计算机科学家
加拿大软件工程师
正式方法人们
马里兰大学帕克分校校友
多伦多大学学术人员
2024年计算机协会院士
1737590261
Anonymous
[h4] “Maria Marsha A. Chechik”是一位计算机科学家,在加拿大多伦多大学计算机科学系担任贝尔大学软件工程系主任。她的研究涉及软件工程,特别是使用形式化方法来确保工业和健康应用中软件的安全性和可靠性。
==教育和职业==
Chechik 来自苏联。
她于1996年加入多伦多大学计算机科学系,并于2000年与电气与计算机工程系交叉任职。她于2019年至2022年担任计算机科学系主任,并担任信息学院代理院长2022年。
==认可==
Chechik 被任命为 2024 年 ACM 院士,以表彰“对大规模高质量软件开发的形式推理的贡献”。
*[https://www.cs.toronto.edu/~chechik/主页]
*
出生年份缺失(活着的人)
活着的人
苏联移民加拿大
加拿大女性计算机科学家
加拿大软件工程师
正式方法人们
马里兰大学帕克分校校友
多伦多大学学术人员
2024年计算机协会院士 [/h4]