关于
专注于可靠机器学习与可信软件系统的计算机科学研究者。
我是爱荷华州立大学的博士候选人，在程序分析与人工智能实验室跟随 Wei Le 教授从事研究。读研之前，我花了四年时间为政府、银行、 AI 和移动平台开发软件。本页是主页简介的详细版。
教育背景
-
2023 年春季 – 至今
计算机科学博士
爱荷华州立大学，艾姆斯，爱荷华州 — 导师：Wei Le 教授
-
2018
计算机科学与工程学士
孟加拉国工程技术大学（BUET）
科研经历
-
2023 年秋季 – 至今
面向机器学习模型版本的差分调试框架
利用差分测试与不变量学习，研究分析模型不同版本之间行为不一致的方法。
-
2024 年夏季 – 2024 年秋季
跨编译器的浮点运算
在劳伦斯利弗莫尔国家实验室，研究 NVIDIA 与 AMD GPU 在不同编译器工具链下的数值差异。
-
2020 – 2021
虚拟实习系统
设计了一个虚拟实习平台，用于在学术与产业结合的环境中评测软件开发技能。
-
2018 – 2019
基于固定监控摄像头的场景重建
提出了一套多摄像头三维场景重建系统，面向安防监控与智慧城市应用。
工作经历
精简版请见主页。
-
2026 年秋季
访问学者 · Mayo Clinic, Rochester, Minnesota
通过妇产科访问学者项目进行科研实习，参与母婴记录关联研究数据库的扩展工作。
-
2024 年 5 月 – 2024 年 8 月
计算方向研究生实习生，并行系统组 · Lawrence Livermore National Laboratory
开发了跨异构 GPU 架构的浮点精度分析工具，包括为 Varity 项目实现 HIP 后端代码生成；在 LLNL Summer SLAM & Poster Symposium 获得荣誉提名。
-
2020 年 11 月 – 2022 年 5 月
软件工程师 · Reve Systems
参与面向政府业务的 ERP、采购、会计和合规系统开发。
-
2019 年 11 月 – 2020 年 11 月
软件工程师 · ERA-InfoTech Ltd.
为银行业务开发了金融科技聊天机器人、人脸识别、汇款对接和 RPA 系统。
-
2018 年 12 月 – 2019 年 10 月
初级软件开发工程师 · Walton Digi-Tech Industries Limited
为消费电子设备开发 Android ROM，并改进功能机操作系统。
教学
-
课程设计
课程开发 · 爱荷华州立大学
与计算机科学系的 Wei Le 教授和 Qi Li 教授一起，参与设计了 COMS 3710X: Introduction to Foundation Models I 和 COMS 3720X: Introduction to Foundation Models II 两门课程。
-
2023 年春季 – 至今
助教 · Iowa State University
负责 COM S 127（编程入门）的实验课和习题课：带每周的实验、编写课程与考核材料、 设计评分标准，并批改作业和试卷。 为 COM S 472/572（人工智能原理）代课讲授：Jin Tian 教授离开系里之前曾为其代课， 也曾为 Yan-Bin Jia 教授代课。
技术专长
- Python
- Java
- C/C++
- JavaScript
- PyTorch
- TensorFlow
- Spring Boot
- Flask
- Django
- Docker
- Linux
- CUDA/HIP
- SQL
- 程序分析
- 机器学习测试