| title | date | draft |
|---|---|---|
末永 幸平 |
2025-05-16 00:00:00 +0900 |
false |
京都大学の情報学研究科にて准教授を務めており、ソフトウェア基礎学講座に所属しています。
研究分野:
- 形式検証
- プログラム解析
- プログラミング言語理論
- 自動推論
完全なリストは出版物ページをご覧ください。
私の研究グループは現在、以下の主要な研究分野に取り組んでいます：
-
ハイブリッドシステムの形式検証: 離散的および連続的な振る舞いを持つシステムの性質を検証するための手法の開発。
-
メモリ安全性のための静的解析: メモリ関連のバグを検出および防止するための高度なプログラム解析手法の開発。
-
SMTソルバと自動推論: プログラムの複雑な数学的性質について自動的に推論できるツールの構築。
担当している講義については教育ページを参照してください。
- メール: ksuenaga@kuis.kyoto-u.ac.jp
- 研究室: 京都大学 吉田キャンパス YYY棟 XXX号室
- 住所: 〒606-8501 京都市左京区吉田本町 京都大学 情報学研究科