廖晓娟
近期热点
资料介绍
个人简历
2009年获得电子科技大学计算机应用技术专业学士学位,同年进入电子科技大学信息安全专业攻读硕士学位,2014年获得九州大学信息科学专业博士学位。教学情况:计算机网络原理,Python语言程序设计,大学计算机,网络空间安全技术,计算机专业英语,程序综合设计。科研情况:公开发表论文15篇,其中以第一作者或通讯作者公开发表国际会议论文5篇,国际期刊论文5篇,主持和参与各类科研项目4项。研究领域
研究方向:自动推理,形式化方法 相关热点