万良，博士、教授。1995年6月本科毕业于贵州大学计算机系计算机软件专业,先后担任十多门课程主讲。于1999年任教研室副主任，2004-2010年任教学部部长、支部书记，参与教学管理工作。先后获得“教书育人风范奖”,“党员风采奖”，7次校级优秀等多个奖项。在Information Science and Engineering、Anti-Counterfeiting、Securityand ldentification、计算机应用研究、计算机工程、计算机科学、IEEE、ICCSE、ISTP贵州大学学报等国内外重要学术期刊ASID、IEEE等重要会议以第一作者或通讯作者的身份在重要期刊和会议上发表学术论文50余篇。多年来致力于贵州数字经济及大数据发展建设，主持各区县应用项目数十项，取得良好的社会效益和影响。

主要研究方向：计算机软件与理论、形式化方法和信息安全

代表性科研项目/成果

[1] 基于行为时态逻辑 TLA与TLA+的加权并行行为的活性与安全性规则的研究 2011-6 至 2014-5 J[2011] 23-28

[2] 主持中国人民大学科学研究基金项目：基于行为时态逻辑 TLA 的软件行为安全性的研究 2011-10 至 2013-5  

[3] 主持贵阳中医学院附属第一医院项目：脑病学数据库软件

[4] 主持正安县政府项目：网格化智慧社区管理软件

[5] 主特贵阳市科技项目：智能家居系统

[6] 主持其他应用项目：

      智慧金沙

      农业大数据平台

      教育云缴费平台

      贵阳市招商云平台

      网格化社区云平台

     医疗智能辅助系统

     贵阳烟厂移动应用

     正安智慧社区

     贞丰智慧小镇

     惠水电商平台

     省监狱狱情大数据分析平台

     物质清查系统大数据档案平台

     警用大数据实战平台

     东盟贵州多彩学院平台

     智能家居云平台