古天龙

2016年:古天龙,男,1964年生,博士,教授,主要研究方向为形式化方法、符号计算、智能规划、离散事件系统等. E_mail:cctlgu@guet. edu. cn.;(GU Tianlong,born in 1964,Ph. D.,professor. His research interests include formal method,symbolic computation,intelli_gent planning,and discrete event systems.)
2015年:古天龙(1964-),男,山西芮城人,教授,博士,研究方向为形式化方法、知识工程与符号推理、协议工程与移动计算等.E-mail:cctlgu@guet.edu.cn
2014年:古天龙(1964-),男,教授,博士生导师,CCF高级会员,主要研究方向为符号计算、形式化方法等;
2013年:古天龙,男,1964年生,博士,教授,博士生导师,主要研究领域为形式化方法、符号计算.
2012年:古天龙，桂林电子科技大学副校长、教授，广西桂林541004
2011年:古天龙（1964-），男，山西芮城人，博士，教授，博导，研究方向为Petri网、软件工程与形式化方法、离散事件／混杂系统、传感器网络与协议工程、知识工程与符号计算等。
2010年:古天龙(1964-),男,山西芮城人,教授,博士生导师,从事形式化方法、符号计算等研究.
2009年:古天龙,桂林电子科技大学副校长、教授,广西桂林541004
2008年:古天龙(1964-), 男, 山西芮城人, 博士, 教授, 博导, 研究方向为形式化方法、符号调度技术、符号模型检验、Petri网、离散事件/混杂系统理论及应用等.
2007年:古天龙,桂林电子科技大学副校长、教授,教育部高等学校计算机科学与技术教学指导委员会软件工程专业教学指导分委员会委员.
2006年:古天龙,男,桂林电子科技大学管理系教授,博士生导师,研究方向:嵌入式系统,形式化技术等
2005年:古天龙(1964-),男,山西芮城人,博士,教授,博导,研究方向为形式化方法,Petri网,符号模型检验,协议工程,离散事件/混杂系统;
2000年:古天龙,男,1964年生,博士,教授,主要研究方向为实时混杂系统理论、协议验证、形式化方法.
1999年:古天龙,男 34岁 工学博士 教授桂林 541004