基本信息
浏览量:27
职业迁徙
个人简介
During my career I have been working on various topics in logic, TCS and combinatorics, including combinatorial group theory, circuit complexity, quantum computing and communication complexity. These are the two projects that are currently the most active.
1. Continuous Combinatorics (flag algebras, graph limits etc.) It is a relatively new area striving to study traditional combinatorial structures via their infinite abstractions, usually on a measure space. This study involves methods from and make connections to algebra, analysis, measure theory, mathematical logic, probability theory etc.
2. Propositional Proof Complexity. This area draws inspiration both from mathematical logic (what true statements possess efficient proofs?) and from Computer Science (e.g., what are the general mathematical principles underlying practical SAT solvers?)
1. Continuous Combinatorics (flag algebras, graph limits etc.) It is a relatively new area striving to study traditional combinatorial structures via their infinite abstractions, usually on a measure space. This study involves methods from and make connections to algebra, analysis, measure theory, mathematical logic, probability theory etc.
2. Propositional Proof Complexity. This area draws inspiration both from mathematical logic (what true statements possess efficient proofs?) and from Computer Science (e.g., what are the general mathematical principles underlying practical SAT solvers?)
研究兴趣
论文共 81 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2023): 20-36
arxiv(2022)
引用0浏览0EI引用
0
0
Варужан Сергеевич Атабекян,Varuzhan Sergeevich Atabekyan,Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev,Виктор Сергеевич Губа,Victor Sergeevich Guba,Игорь Геронтьевич Лысeнок, Igor Geront'evich Lysenok, Александр Александрович Разборов,Alexander Alexandrovich Razborov, Алексей Львович Семeнов, Aleksei Lvovich Semenov
Uspekhi Matematicheskikh NaukУспехи математических наукno. 1(457) (2021): 3-30
arxiv(2021)
引用0浏览0引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn