姓 名： 张奎泽
职 称： 教授
系所/中心： 应用数学系
科研团队：
博导/硕导：
办公地址：
办公电话：
邮 箱：
研究方向： 离散状态动态系统的形式化验证，及其在系统生物学
个人主页：
陕西省西安市碑林区咸宁西路28号 西安交通大学数学与统计学院
邮编：710049 电话 ：86-29-82668551 传真：86-29-82668551
