招生信息

招生方向：软件设计与分析方法，新型计算模型与应用（博，硕，工程硕士）

主要研究软件设计分析与安全性中的理论、方法、技术及数据、计算模型与应用

面向网络及未来应用，以提高软件开发的生产率、可靠性、安全性为目标，研究软件的设计、分析与安全性中需要的理论、方法和技术，研究新型计算与数据模型，以及这些模型的应用。

欢迎对Web、计算与数据模型、形式语言与自动机、XML、类型语言、函数式语言、软件设计分析、软件安全性等的理论、技术问题感兴趣的同学交流、报考，特别欢迎喜欢数学或动手能力较强的同学加盟。