周洁 - 西华大学 - 计算机与软件工程学院

个人简介

周洁，2015年7月毕业于中国科学院数学与系统科学研究院，获理学博士学位。 2017年8月进入西华大学计算机与软件工程学院工作，任教学科研岗。目前以第一作者或通信作者在《JournalofAutometedReasoning》、《JournalofSystemsScienceandComplexity》、《SpringerProceedingsinMathematicsandStatistics》、《2016ChineseControlandDecisionConference(CCDC)》、《LectureNotesinComputerScience》等SCI期刊及EI会议上发表学术论文5篇，作为课题骨干成员参与国家重点研发计划项目2项、国家自然科学基金面上项目2项。工作经历 2015年8月到2017年8月，在中国电子科技集团公司第三十研究所工作，任工程师。 2017年8月至今，在西华大学计算机与软件工程学院工作，任教学科研岗。教育经历 2006年9月至2010年7月，西南交通大学，本科； 2010年9月至2015年7月，中国科学院大学，硕博连读。

研究领域

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

主要研究方向为计算机代数、定理自动证明、密码学与网络安全