知能ソフトウェア研究室

About关于研究室

信頼性と安全性の高いソフトウェアの構築を目指す。

知能ソフトウェア研究室は、プログラム解析や検証、ソフトウェアテストなどの技術を用いて、より信頼性と安全性の高いソフトウェアシステムを構築することを目指しています。
ソフトウェアシステムにおける不具合やバグを深く理解し、信頼性と安全性を保証する方法を探っています。
プログラムコードの自動生成や、プログラムのバグの自動修復の方法も研究しています。
研究室のサイトは「Pangu Research Lab」の名前で公開されています。

Members教师

知能ソフトウェア研究室のメンバーは、教員と学生で構成されています。

• 教授趙 建軍
• 助理教授馮 尭鍇
• 助理教授張 振亜

Related与知能ソフトウェア研究室相似的研究室

AI教育研究室工学部 電気情報工学科AI教育(AIE:Artificial Intelligence in Education)研究室では、教育ビッグデータ…ソフトウェア工学・プログラミング言語研究室工学部 電気情報工学科当研究室ではソフトウェア構築の基礎をなすソフトウェア工学とプログラミング言語に関する研究をしています。ソフトウェア工学と…システム数理研究室工学部 電気情報工学科制御理論と最適化理論を主体とする、数理工学的手法に基づいたダイナミカルシステムの解析と設計に関する研究を幅広く展開してい…サイバーフィジカル・コンピューティング研究室工学部 電気情報工学科情報(I: Information)と電気電子(E: Electrical/Electronics)の融合に基づく新しい…