华南理工大学计算机应用专业博士毕业。2005年到深圳大学任教，2007年晋升为副教授。长期从事形式化软件工程、软件体系结构等方面研究，先后在Lecture Notes in Computer Science、IEEE Computer、华南理工大学学报、计算机工程等计算机核心刊物上发表论文数十篇，其中1篇被SCI收录，5篇被EI收录。讲授过《编译原理》、《操作系统》、《软件测试》等课程。