一、基本情况

吴名欢，硕士，高级实验师。

二、个人主要经历

1998年07月~2002年06月 桂林理工大学学习

2002年07月~  桂林理工大学工作

三、主要荣誉奖励

1 2011年12月 计算机网络课件获第八届广西高校教育教学比赛2等奖广西壮族自治区教育厅

2 2010年11月 动态网页设计课件在第十届全国多媒体课件大赛中获取优秀奖

3 2011年9月 桂林理工大学多媒体教学软件比赛获1等奖

4 2011年9月 桂林理工大学多媒体教学软件比赛获1等奖

5 获全国2013年软件大赛广西赛区优秀技术支持奖励称号

6 获全国2012年软件大赛广西赛区三等奖优秀指导教师荣誉称号

四、承担或参与的主要科研项目

参与科研项目8项，其中主持2项，参与6项。主持的项目为：

主持.计算机网络协议仿真关键技术研究；

主持. 基于CSP物联网通信协议的建模与形式化分析研究；

参与国家自然科学基金 2项；

参与区项目4项。

五、近期发表的学术论文

[1]吴名欢,程小辉. 基于CSP的物联网David数字图书馆协议的改进与形式化分析[J]. 计算机科学,2014,01:225-229+270.

[2]吴名欢,程小辉. Casper/FDR和串空间在物联网通信协议中的形式化分析[J]. 桂林理工大学学报,2014,02:338-344.

[3]吴名欢,程小辉. 物联网中安全通信协议的形式化分析[J]. 桂林理工大学学报,2013,02:333-338.

[4]吴名欢,刘羽,张烈平. 高可靠性网络的研究与实现[J]. 计算机与信息技术,2008,Z1:65-66.

[5]蒋小华,吴名欢,王文成. 单片机波形发生器的设计[J]. 桂林航天工业高等专科学校学报,2008,02:38-40.

[6]吴名欢,程小辉,李雄伟. 利用CSP方法对IEEE 802.11w形式化分析[J]. 计算机应用研究,2015,05:1489-1492+1502.

[7]吴名欢,蒋小华. 校园网络方案设计仿真[J]. 计算机与信息技术,2009,04:74-76.

[8]刘迪迪,吴名欢. CNC插补算法的VHDL建模设计与实现[J]. 计算机时代,2009,09:37-39.

[9]吴名欢,刘迪迪. 网络仿真在计算机网络教学中的应用研究[J]. 桂林航天工业高等专科学校学报,2010,03:315-316.

[10]吴名欢. 计算机网络实习教学中网络仿真技术的应用与实践[J]. 广西科学院学报,2010,04:538-540.

[11]张烈平,吴名欢,周德俭. 基于COM的OPC技术及其应用程序的开发[J]. 桂林工学院学报,2004,03:356-359.

六、指导学生竞赛获奖情况

1 2011年6月7日 指导周庆武全国软件大赛获广西赛区1等奖授予优秀指导教师荣誉称号

2 2011年7月20日 指导周庆武全国软件大赛获全国总决赛区3等奖授予优秀指导教师荣誉称号

3 2009年10月 在2009年指导全国大学生电子设计决赛中，指导学生获取广西赛区2等奖

4 2010年12月 指导学生参加第四届关西高等计算机应用大赛获取2等奖 广西壮族自治区教育厅

5 2010年5月 指导的作品在桂林理工大学2009年大学生科技比赛中获特等奖

6 2010年12月 指导学生参加第四届关西高等计算机应用大赛选拔赛获取1等奖

7 2012年4月 指导唐丰琼、谢佳桦参加全国软件大赛获广西赛区3等奖

8 2011年6月 指导的作品在桂林理工大学2010年大学生科技比赛中获特等奖