基本信息
浏览量:162
职业迁徙
个人简介
My primary research theme is the mathematics of computation (how to describe the act of performing computations by man, alien, or machine by mathematics). This includes computing and calculations involving mathematical structures that are intrinsically infinite in nature, but must necessarily be computed using only finite resources.
In addition, I maintain a serious professional interest in other areas of computer science such as information retrieval and human-computer interaction.
Currently, I work in the following areas:
Computability Theory
Rewriting and Lambda Calculus
Complexity Theory
Information Retrieval
Symbolic Dynamical Systems
I have previously been active in the following areas:
Constructive/Computable/Recursive Mathematics
Human-computer Interaction
Biocomputing
In addition, I maintain a serious professional interest in other areas of computer science such as information retrieval and human-computer interaction.
Currently, I work in the following areas:
Computability Theory
Rewriting and Lambda Calculus
Complexity Theory
Information Retrieval
Symbolic Dynamical Systems
I have previously been active in the following areas:
Constructive/Computable/Recursive Mathematics
Human-computer Interaction
Biocomputing
研究兴趣
论文共 139 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
ADMA (2)pp.440-455, (2023)
引用0浏览0EI引用
0
0
CAiSEpp.226-242, (2023)
引用0浏览0EI引用
0
0
THEORY OF COMPUTING SYSTEMSno. 6 (2023): 1156-1196
引用0浏览0EI引用
0
0
ICLR 2023 (2023)
引用0浏览0引用
0
0
JOURNAL OF FUNCTIONAL PROGRAMMING (2023)
引用0浏览0引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn