科研: Model Checking for Timed Automaton Model Driven Architecture (MDA)
教学:
编译原理（本科三年级）
软件体系结构
软件可靠性工程