Martin Schäf博士是亚马逊网络服务的应用科学家。在此之前,他曾担任高级计算机科学家斯坦福国际研究所在里面加利福尼亚州门洛帕克这个联合国大学在澳门。他获得博士学位大学弗赖堡2011年获得计算机科学硕士学位萨尔州大学2006年。他的研究兴趣包括静态分析、软件验证、故障定位和测试自动化。
- 近期出版物
-
-
对不断变化的污染分析政策的推断
W.Chiang。Li,Q.Zhou,S.Banerjee,M.Schäf,Y.Lyu。O.Tripp Nguyen
2024年第46届国际软件工程会议
-
使用真否定词的静态分析规则质量监控
L.Luo、R.Mukherjee、D.Sanchez、M.Schäf、O.Tripp和Q.Zhou
2023年第45届国际软件工程会议(ICSE-SEIP)
查看出版物的完整列表在这里或位于:
- 教育类
-
阿尔伯特·路德维希大学博士2006年至2011年,德国弗莱堡
专业:计算机科学
顾问Andreas Podelski教授
萨尔兰大学-理学硕士2002年至2006年,德国萨尔布吕肯
专业:计算机科学
- 其他
-
我的埃尔德数是3:帕斯卡Schweitzer、Brendan D.McKay、Paul Erdös。
我的学术家谱,包括一些合著者,是在这里。
我是纽约州任命的牧师和婚姻官。