基本信息
浏览量:21
职业迁徙
个人简介
Most of my research is Mathematical Logic and Computational Complexity Theory. The main focus of it is on logical descriptions of computational complexity problems, in particular bounded arithmetic and propositional proof complexity. I have worked on independence results for bounded arithmetic theories and lower bounds for constant depth propositional proof systems. Connected to this are adaptions of ordinal analysis to bounded arithmetic which resulted in dynamic ordinal analysis. Recent work has been on Total NP Search Problems related to Bounded Arithmetic theories.
Other research I have done concerns complexity of reduction systems, in particular simple typed lambda calculus and Gödel’s system T, with connections to implicit computational complexity. Another line of research considers Intermediate Logics, esp. questions about the number of first order Gödel Logics.
On the more practical side, I am interested in model driven software development, in particular around cyber-physical systems and Industry 4.0.
Recently I have developed an interest in blockchain technology, its underlying software development and related formal methods questions. I am a founding member of the Swansea Blockchain Lab.
Other research I have done concerns complexity of reduction systems, in particular simple typed lambda calculus and Gödel’s system T, with connections to implicit computational complexity. Another line of research considers Intermediate Logics, esp. questions about the number of first order Gödel Logics.
On the more practical side, I am interested in model driven software development, in particular around cyber-physical systems and Industry 4.0.
Recently I have developed an interest in blockchain technology, its underlying software development and related formal methods questions. I am a founding member of the Swansea Blockchain Lab.
研究兴趣
论文共 85 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
APPLIED SCIENCES-BASELno. 23 (2023): 12778
ICSCpp.221-224, (2023)
Anwar Alsamani,Arnold Beckmann
2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)pp.1-6, (2022)
CoRR (2022)
Procedia Computer Science (2022): 1057-1066
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn