个人简历

教育科研背景
06/2012–现在，汕头大学工学院，计算机系，教授
职责：参与并负责实时动态列车安全及撞车预防系统项目策划,设计与实施.主要从事复杂实时高安全系统工程领域的科研,教学工作。重点包括以下几个领域：
-实时高安全系统和相关的编程语言
-实时高安全系统的工程设计方法
-容错系统的硬件和软件的开发，和软硬件协同设计
08/2008–06/2012，高级软件工程师，咨询师，技术总监
单位：AltranPraxisLtd-嵌入式安全和紧急系统工程领域的国际领先企业
职责：参与并负责英国国家最新空中交通管制系统NATSAirTrafficControlSystemiFACTS项目策划,设计与实现.NATSiFACTS系统是目前国际最先进空中交通管制系统，是航空工业近10年来的最大的一次技术革新。iFACT系统给予飞行控制员及时的预警，避免飞行碰撞的发生。iFACTS项目总投资超过千万英磅.在此项目中，我担任核心系统-引擎（FWPEngine）技术总监
08/2005–08/2008研究员，博士生导师，实时组博士评审委员会委员
单位：LondonMetropolitanUniversity,UK，伦敦城市大学,http://www.londonmet.ac.uk
主要研究领域-动态实时高安全系统,实时嵌入式系统，多核计算机系统
职责：参与欧洲六框架下的科研项目（ON-BoardActiveSafetySystem-ONBASS）与来自欧盟五个国家的工程师，科学家合作开发下一代普通飞机安全系统；负责欧盟科研项目策划,计划,执行,研发；科研经费超过3百万欧元；指导硕士，博士生研究和实时高安全系统相关课程教学。
10/2001–08/2005助教，博士研究生
单位：TheUniversityofYork,http://www.york.ac.uk,UK,英国约克大学。
职责：参与欧洲六框架下的科研项目(JavaforHighIntegrityReal-timeSystems–HIJA).英国York大学计算机系Real-timeSystemsGroup(www.cs.york.ac.uk/rts)作为世界著名的研究小组,一直走在实时系统研究最前沿.HIJA项目超过2百万欧元的欧盟科研经费.在此项目中，与美国著名的TimeSysCorporation实时系统公司，美国JetPropulsionLaboratory(JPL)-美国宇航局的一个应用研究中心,CarnegieMellonUniversity和SunMicrosystems合作来完成新的火星探测器计划“GoldenGateProject”.

研究领域

实时高安全系统和相关的编程语言
实时高安全系统的工程设计方法
容错系统的硬件和软件的开发，和软硬件协同设计"软件/硬件协同设计容错计算机系统
高完整性的实时系统的工程方法
低功耗移动和嵌入式计算系统
高完整性，实时系统的硬件和软件架构
高完整性，实时系统的多核心计算机
可靠分布式计算系统"

近期论文

积木3D模型智能搭建系统主要算法的研究与设计
OnPerformanceofDistributedComputerSystems
ModellingHighIntegrityTransportSystemsbyFormalMethods
ModellingHighIntegrityTransportSystemsbyFormalMethods
SafetyMonitorsforSafety-CriticalRailwaySystems
AReal-timeTrainCollisionPreventionSystem