在过去15年的时间里，我们组主要致力于较为系统地建立量子程序设计 ??的理论，包括程序设计模型、逻辑基础及分析与验证方法。最近几年，我们逐步将所取得的理论成果与算法实现为量子程序编译器以及分析、测试与验证工具，计划经过一段时间的努力能够研发出一个有效的量子软件开发环境(平台)。 ??本报告将概要汇报这些工作，特别希望通过这次报告寻找与系里其他研究组合作的机会。