个人简介（英文主页：https://aivens123.github.io/aiwenlai.github.io/index.html）：

2024.01至今，厦门大学，自动化系，长聘副教授

2020.09-2023.12，厦门大学，自动化系，助理教授

2019.08-2020.07，捷克科学院，数学研究所，博士后研究员

2016.09-2019.07，法国昂热大学，控制理论与控制工程，博士

2015.09-2016.06，法国艾克斯-马赛大学，信息与系统科学，硕士

2014.09-2018.06，西安电子科技大学，控制工程，硕士

2010.09-2014.06，西安电子科技大学，自动化，学士

主讲课程

数字电子技术（本科生）

离散数学（本科生）

文献检索与科技英文论文写作（研究生）

现代数学方法（研究生）

主持项目：

1. 国家自然科学基金青年科学基金项目，2022-2024，30万，主持。

2. 福建省自然科学基金青年项目，2021-2024，8万，主持。

3. 中央高校基本科研业务费，2022-2023，15万，主持。

4. 中央高校基本科研业务费，2021，2万，主持。

代表性期刊论文：

[1] A. Lai, S. Lahaye* and J. Komenda, "Observer construction for polynomially ambiguous max-plus automata," IEEE Transactions on Automatic Control, vol. 67, no. 3, pp. 1582-1588, 2022.

[2] A. Lai, S. Lahaye* and A. Giua, "Verification of detectability for unambiguous weighted automata," IEEE Transactions on Automatic Control, vol. 66, no. 3, pp. 1437-1444, 2021.

[3] A. Lai, S. Lahaye* and Z. Li, "Initial-state detectability and initial-state opacity of unambiguous weighted automata," Automatica, vol. 127, pp. 109490, 2021.

[4] A. Lai, S. Lahaye* and A. Giua, "State estimation of max-plus automata with unobservable events," Automatica, vol. 105, pp. 36-42, 2019.

[5] A. Lai*, J. komenda and S. Lahaye, "Diagnosability of unambiguous max-Plus automata," IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 52, no. 11, pp. 7302-7311, 2022.

[6] L. Shen, S. Miao, A. Lai* and J. Komenda, "Verification of initial-and-final-state opacity for unambiguous weighted automata," ISA Transactions, vol. 148, pp. 237-246, 2024.