Md Solimul Chowdhury-学术版

关于我

欢迎来到我的个人资料页面。在我努力寻找计算机科学终身教职的过程中，我在自动推理（AR）领域积累了丰富的研究经验，这些经验来自不同的角色：作为卡内基梅隆大学计算机科学学院的博士后研究助理，作为阿尔伯塔大学的博士生，以及作为亚马逊网络服务的应用科学家实习生。我在加拿大也有5年的软件开发经验。

我的AR研究领域探索模拟认知推理方面的计算框架。特别是，我在布尔可满足性（SAT）求解领域工作过。SAT求解算法，为命题逻辑中的语句生成证明，并在形式验证、定理证明和AI中有实际应用。

通过我的研究改进的SAT解题员提高了该领域的技术水平，在最近的国际SAT竞赛中获得了多项奖项的认可。

我的个人简历提供了更多详细信息。

研究方向

🧠 提高SAT
增强SAT求解算法和启发式算法以提高其效率
🔍 加深理解
加深对SAT求解器内部工作原理和AR的理解
🤖 神经符号集成
通过集成AR和机器学习增强人工智能系统的能力
🔐 Fintech中的形式验证
区块链中的正式验证智能合约，确保部署后的可靠性和安全性

更新

2024年3月一篇题为剖析SAT中产生冲突的决策已接受SoCS-2024
2024年2月JAIR审核人
2024年2月处理提交文件
2023年12月TACAS 2024接受的文件
2023年11月TACAS AEC 2024项目委员会成员
2023年10月AAAI 2024项目委员会成员

出版物

同行评审的出版物

[11]马里兰州索利穆尔·乔杜里马丁·米勒和贾慧友。剖析SAT.SoCS-2024中产生冲突的决策。（出现）[纸张] [代码]

[10]马里兰州索利穆尔·乔杜里Cayden Codel和Marijn J.H.Heule。TaSSAT：卫星中的传输和共享。TACAS-2024。（出现）[纸张] [代码]
- +接受率：33.33%（53/159）
[9]Solimul Chowdhury博士Cayden Codel和Marijn J.H.Heule:局部搜索的线性权重转移规则。NASA正式方法-2023。[纸张] [代码]
- +合格率：38.66%（29/75）
[8] 阿明·比尔，马里兰州索利穆尔·乔杜里Marijn J.H.Heule、Benjamin Kiesl和Michael W.Whalen（2022年）。迁移解算器状态。国家税务总局2022:27:1--27:24[纸张] [代码]
- +合格率：44.28%（31/70）
- +被提名为最佳论文奖(3/70)
[7]Solimul Chowdhury马里兰州，Martin Mueller，Jia Huai You:在冲突抑郁中通过随机探索指导CDCL SAT搜索。AAAI 2020。[纸张] [代码]
- +接受率：20.6%（1591/7737）
- +已为选择口头报告
[6]Solimul Chowdhury马里兰州马丁·米勒（Martin Mueller）、贾慧友（Jia-Huai You:Exploiting Glue Clause to Design Effective CDCL Branching Heuristics）。CP 2019。[纸张] [代码]
- +合格率：36.36%（44/120）
[5]Solimul Chowdhury马里兰州马丁·米勒（Martin Mueller）、贾怀友（Jia-Huai You:Exploration-Driven Satisfailability Solving）：探索驱动可满足性求解的初步结果。2018年AAAI。[纸张]
- +学生摘要入围者（接受摘要的前18%）
[4] 刘芳芳、易碧、，Solimul Chowdhury马里兰州、贾慧友、冯志勇：近似不动点理论的柔性逼近器。2016年加拿大人工智能会议。[纸张]
- +合格率：40.20%（39/97）
[3]Solimul Chowdhury马里兰州刘芳芳、吴晨、阿拉什·卡里米、贾怀友：广义原子逻辑程序的良好语义多项式逼近：案例研究。2014年洛普斯特。[纸张]
- +验收率：52.95%（18/34）
[2]Solimul Chowdhury马里兰州、佳慧友：具有全局约束的SAT。ICTAI 2012年。[纸张]
- +合格率：55.00%（165/300）
[1]Solimul Chowdhury马里兰州萨基布尔·哈桑（Sakibul Hasan）、萨达尔·阿尼苏尔·哈克（Sardar Anisol Haque）：分布式环境下，SAT求解器通过纯简约性进行单体型推断。IJCSNS：第8卷，2008年8月。[纸张]

工作经历

+博士后2022年2月至2024年2月，美国宾夕法尼亚州匹兹堡卡内基梅隆大学计算科学学院
+应用科学家实习生，2021，自动化推理@亚马逊Research，俄勒冈州波特兰，美国
+教研助理/研究员，2016年至2021年，加拿大埃德蒙顿阿尔伯塔大学CS系
+软件开发人员2011年至2016年，加拿大埃德蒙顿北方科技公司
+讲师2007年至2009年，孟加拉国锡尔赫特锡尔赫德国际大学

SAT竞赛奖牌

2023年SAT竞赛

+一枚奖牌：平行赛道（银牌）

2022年SAT竞赛

+三枚奖牌：满意赛道（铜牌）、周年赛道（青铜牌）、主赛道（铜牌）

2021年SAT竞赛

+两枚奖牌：令人满意的副赛道（铜牌），主赛道（青铜牌）

2019年SAT竞赛

+一枚奖牌：不满意子曲目（银牌）

奖学金、奖学金和补助金

+NSERC博士后奖学金，2022-2024年
+2021年艾伯塔省优秀研究生奖学金
+2021年恩斯特·马赫奖学金（因新冠肺炎而减少）
+2020年AAAI学生奖学金
+博士项目旅行补助金（CP 2019）
+2018年艾伯塔省创新研究生奖学金
+2018-2020年总统博士杰出奖

+NSERC PGS博士奖学金，2018-2020
+2018年GSA旅游奖
+2018年AAAI学生奖学金
+QE II博士奖学金，2016
+2012-2014年AITF工业研发奖
+2010年瑞典信托奖学金
+2004-2006年伊斯兰理工大学入学奖学金

学术服务

期刊评论

+2024年1月，JSAT-2021

项目委员会成员

+TACAS-2024（AEC）、AAAI-2024、AAAI-20、AAAI-2021、IJCAI-2020、ECAI-20

外籍评委

+CADE-2023、SoCS-2018、IJCAI-2017、ASPOCP-2017、AAAI-2017，加拿大AI-2017和ICAPS-2017，ICLP-2016、KR2016、AAAI-2016ASPOCP-2015、LPNMR-2015、ICLP-2015KSEM-2014、ICLP-2013、加拿大AI-2011