陆旭

个人信息：Personal Information

副教授研究生导师

主要任职：计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记

性别：男

毕业院校：西安电子科技大学

学历：博士研究生毕业

学位：工学博士学位

在职信息：在岗

所在单位：计算机科学与技术学院

入职时间：2018-03-09

学科：计算机软件与理论

办公地点：西安电子科技大学南校区网安大楼A308

电子邮箱：

其他联系方式Other Contact Information

邮编 :

通讯/办公地址 :

邮箱 :

扫描关注

同专业硕导

个人简介：Personal Profile

陆旭，男，工学博士，主要从基于形式化方法的程序验证以及智能规划等方面的研究和应用工作。于2017年在西安电子科技大学获得计算机应用技术专业博士（导师：段振华教授）学位。博士毕业后留校任教，现为西安电子科技大学副教授，硕士生导师，校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形式化方法专委会执行委员，获得西安电子科技大学优秀博士学位论文奖，应邀担任AAAI会议PC member、Journal of Systems Architecture和软件学报审稿人。