陆旭，男，工学博士，主要从基于形式化方法的程序验证以及智能规划等方面的研究和应用工作。于2017年在beoplay体育提现获得计算机应用技术专业博士（导师：段振华教授）学位。博士毕业后留校任教，现为beoplay体育提现副教授，硕士生导师，校2018级本科生导师，陕西省重点科技创新团队（安全攸关智能软件创新团队）、校计算理论与技术研究所骨干成员。

主持国家自然科学基金面上项目1项（在研），青年科学基金1项（结题），中国博士后科学基金特别资助项目1项（在研），面上项目1项（结题），中央高校基本科研业务费资助项目新教师创新基金1项（在研），作为核心或重要人员先后参与国家自然科学基金应急管理项目1项（结题），面上项目1项（结题），青年科学基金项目1项（结题）。以第一作者发表高水平论文多篇，主要发表在CCF A类、中科院二区期刊（IEEE Transactions on Knowledge and Data Engineering, TKDE），中科院一区期刊（IEEE transactions on Intelligent Transportation Systems, TITS），CCF A类、人工智能领域顶级会议（International Joint Conference on Artificial Intelligence, IJCAI），CCF B类、理论计算机科学著名国际期刊（Theoretical Computer Science, TCS）以及国内著名期刊软件学报。CCF形式化方法专委会执行委员，获得beoplay体育提现优秀博士学位论文奖，应邀担任AAAI会议PC member、软件学报审稿人。