穆达蒂尔·穆罕默德

联系人

计算机科学系1420海员中心，爱荷华大学，爱荷华市，IA 52242-1419，美国

电子邮件

mudathir-mahgoubyahia@uiowa.edu

研究兴趣

形式验证和自动定理证明。

报告

穆达希尔·穆罕默德、孟宝洛、安德鲁·雷诺兹和切萨雷·蒂内利。合金分析仪的新型关系求解器2019年FMCAD学生论坛。