陆旭

个人信息:Personal Information

讲师(高校)

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

性别:男

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

学历:博士研究生毕业

学位:工学博士学位

在职信息:在职

所在单位:计算机科学系

入职时间:2018-03-09

所属院系: 计算机科学与技术学院

学科:计算机软件与理论

办公地点:西安电子科技大学北校区主楼IV区202

电子邮箱:

其他联系方式Other Contact Information

邮编 :

通讯/办公地址 :

邮箱 :

扫描关注

个人简介:Personal Profile

陆旭,男,工学博士,主要从基于形式化方法的程序验证以及智能规划等方面的研究和应用工作。分别于2008年、2011年、2017年在西安电子科技大学获得软件工程专业学士、计算机软件与理论专业硕士(导师:李青山教授,https://faculty.xidian.edu.cn/LQS/zh_CN/index.htm)、计算机应用技术专业博士(导师:段振华教授,https://faculty.xidian.edu.cn/DZH/zh_CN/index.htm学位。博士毕业后留校任教,现为西安电子科技大学讲师,师资博士后(合作导师:李云松,https://faculty.xidian.edu.cn/LYS4/zh_CN/index.htm),校2018级本科生导师,陕西省安全攸关智能软件创新团队、校计算理论与技术研究所骨干成员。

主持国家自然科学基金青年科学基金1项(在研),中国博士后科学基金面上项目1项(在研),特别资助项目1项(在研),中央高校基本科研业务费资助项目新教师创新基金1项(在研),作为核心或重要人员先后参与国家自然科学基金应急管理项目1项(在研),面上项目1项(结题),青年科学基金项目1项(结题)。以第一作者发表高水平论文多篇,其中CCF A类、中科院二区期刊(IEEE Transactions on Knowledge and Data Engineering, TKDE)1篇,CCF A类、人工智能领域顶级会议(International Joint Conference on Artificial Intelligence, IJCAI)1篇,CCF B类、理论计算机科学著名国际期刊(Theoretical Computer Science, TCS)1篇,CCF C类、理论计算机科学高水平会议(International Conference on Combinatorial Optimization and Applications, COCOA)1篇,国际会议(International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL)1篇,国内著名期刊(软件学报)1篇。获得西安电子科技大学优秀博士学位论文奖,应邀担任AAAI会议PC member和软件学报审稿人。

  • 教育经历Education Background
  • 工作经历Work Experience
  • 研究方向Research Focus
  • 社会兼职Social Affiliations
  • 模型检测(Model Checking)
  • 分离逻辑(Separation Logic)
  • 时序逻辑(Temporal Logic)
  • 智能规划(Artificial Intelligence Planning)
  • 程序验证(Program Verification)

团队成员Research Group

安全攸关智能软件创新团队

计算理论与技术研究所