基本信息
views: 87
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Departmental Research
I actively participate in or support a number of research projects in the department, in varying degrees. The two most active are Tetrad and AProS. Tetrad (with Clark Glymour, Richard Schienes, and Peter Spirtes) is a repository of Java code spanning causal search algorithms, estimation algorithms, clustering, updating, and so on, with a graphical user interface available freely over the internet. Much of this code I have programmed myself, and much of the rest of it I have been actively involved in developing. AProS (with Wilfried Sieg) is a project with several goals—to develop a natural deduction proof generator for sentential and first order logic, to develop an online course for logic, and to develop a proof tutor that uses the generator to provide advise to students for completing logic problems. Much of the code for the most recent version of this was developed by me and expounded on by later programmers. I have continued to participate in this project in the role of programmer, of supervisor, and of advisor.
There are many other projects in the department as well for which I provide ongoing support. To list a few, there is the Isabelle project under the direction of Jeremy Avigad, the Bernays and Carnap Translation projects under the direction of Steve Awodey, and the Causality Lab project under the direction of Richard Scheines. Depending on the project, I provide repository and server services, software advise and services, or (as in the case of Causality Lab) all of the above plus code. In addition to specific long-term projects, I often help individual faculty and graduate students with specific computational difficulties, although examples of this sort are too numerous to list.
I actively participate in or support a number of research projects in the department, in varying degrees. The two most active are Tetrad and AProS. Tetrad (with Clark Glymour, Richard Schienes, and Peter Spirtes) is a repository of Java code spanning causal search algorithms, estimation algorithms, clustering, updating, and so on, with a graphical user interface available freely over the internet. Much of this code I have programmed myself, and much of the rest of it I have been actively involved in developing. AProS (with Wilfried Sieg) is a project with several goals—to develop a natural deduction proof generator for sentential and first order logic, to develop an online course for logic, and to develop a proof tutor that uses the generator to provide advise to students for completing logic problems. Much of the code for the most recent version of this was developed by me and expounded on by later programmers. I have continued to participate in this project in the role of programmer, of supervisor, and of advisor.
There are many other projects in the department as well for which I provide ongoing support. To list a few, there is the Isabelle project under the direction of Jeremy Avigad, the Bernays and Carnap Translation projects under the direction of Steve Awodey, and the Causality Lab project under the direction of Richard Scheines. Depending on the project, I provide repository and server services, software advise and services, or (as in the case of Causality Lab) all of the above plus code. In addition to specific long-term projects, I often help individual faculty and graduate students with specific computational difficulties, although examples of this sort are too numerous to list.
Research Interests
Papers共 65 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Causal Analysis Workshop Series (2023): 40-51
Cited0Views0EIBibtex
0
0
CoRR (2023)
Journal of Data Sciencepp.1-26, (2022)
ArXiv (2021)
Cited0Views0EIBibtex
0
0
CoRR (2021)
Cited0Views0EIBibtex
0
0
educational data miningno. 3 (2021): 36-68
Journal of Machine Learning Researchno. 89 (2020): 1-53
Cited168Views0EIBibtex
168
0
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn