基本信息
浏览量:136
职业迁徙
个人简介
Research Interests
My research interests are broadly in the area of investigating reasons, causes, and explanations of software engineering and machine learning procedures. Historically, I first investigated the reasons and causes for the results of verification of hardware and software systems. Formal verification amounts to automatically proving that a mathematical model of the system satisfies the formal specification. Problems arise when answers are not accompanied by explanations, thus reducing users’ trust in the positive answer and the ability to debug the system in case of errors. I brought the concepts of causality from AI to formal verification and demonstrated their usefulness to the causal analysis and explanations of verification procedures. Together with Joe Halpern, I wrote a paper that introduces quantification to the concept of causality, thus allowing to rank the potential causes from the most influential to the least influential and to focus on the most influential causes. I pioneered the use of the concepts of causality in software engineering, resulting in first industrial applications (explanations of counterexamples produced by an IBM hardware verification tool and efficient evaluation of hardware circuits in Intel).
My current research focus in the area of causes and explanations is mostly on the explanations of the results of deep neural networks’ decisions. I also have an ongoing research project on explanations of reinforcement learning policies.
In other directions, I have an ongoing research activity in the area of hardware synthesis, collaborating with Tu Graz and the Technion, and in the area of learning for software analysis and exploration, collaborating with Ben-Gurion University.
My work is supported by the Royal Society International Exchanges Grant, Coleman-Cohen Exchange Programme Grant, and Google Faculty Award.
I am actively collaborating with a number of academic institutions world-wide including Oxford, TU Graz, Technion, Cornell, UCL, Imperial College London, and Belfast University.
My research interests are broadly in the area of investigating reasons, causes, and explanations of software engineering and machine learning procedures. Historically, I first investigated the reasons and causes for the results of verification of hardware and software systems. Formal verification amounts to automatically proving that a mathematical model of the system satisfies the formal specification. Problems arise when answers are not accompanied by explanations, thus reducing users’ trust in the positive answer and the ability to debug the system in case of errors. I brought the concepts of causality from AI to formal verification and demonstrated their usefulness to the causal analysis and explanations of verification procedures. Together with Joe Halpern, I wrote a paper that introduces quantification to the concept of causality, thus allowing to rank the potential causes from the most influential to the least influential and to focus on the most influential causes. I pioneered the use of the concepts of causality in software engineering, resulting in first industrial applications (explanations of counterexamples produced by an IBM hardware verification tool and efficient evaluation of hardware circuits in Intel).
My current research focus in the area of causes and explanations is mostly on the explanations of the results of deep neural networks’ decisions. I also have an ongoing research project on explanations of reinforcement learning policies.
In other directions, I have an ongoing research activity in the area of hardware synthesis, collaborating with Tu Graz and the Technion, and in the area of learning for software analysis and exploration, collaborating with Ben-Gurion University.
My work is supported by the Royal Society International Exchanges Grant, Coleman-Cohen Exchange Programme Grant, and Google Faculty Award.
I am actively collaborating with a number of academic institutions world-wide including Oxford, TU Graz, Technion, Cornell, UCL, Imperial College London, and Belfast University.
研究兴趣
论文共 104 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
David A. Kelly,Hana Chockler,Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar
CoRR (2023)
引用0浏览0EI引用
0
0
CoRR (2023)
引用0浏览0EI引用
0
0
IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligencepp.363-371, (2023)
引用0浏览0EI引用
0
0
Formal Methods Syst. Des.no. 2 (2023): 259-276
arXiv (Cornell University) (2022)
引用0浏览0引用
0
0
Xin Du, Benedicte Legastelois,Bhargavi Ganesh,Ajitha Rajan,Hana Chockler,Vaishak Belle, Stuart Anderson,Subramanian Ramamoorthy
arxiv(2022)
引用3浏览0EI引用
3
0
International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI)pp.13-22, (2022)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn