Embedded Files
【現在の研究テーマ】
形式言語理論
- 多重文脈自由文法
- 重み・データ値を扱う計算モデル
- 計算論的ゲーム構造
ソフトウェア基礎理論
- リアクティブプログラムの自動合成
- 言語ベースセキュリティ・プライバシー
メイル：seki於i点nagoya-u点ac点jp
所属：名古屋大学 大学院情報学研究科 情報システム学専攻
（情報学部 コンピュータ科学科 兼務）
所在地：〒464-8601 名古屋市千種区不老町（IB館南棟591室）
Page updated
Report abuse