个人简历

周洁，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月，中国科学院大学，硕博连读。

研究领域

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