About yoriyuki

福井大学工学部の情報工学コースで准教授をしています。理論計算機科学・ソフトウェア工学・数理論理学と関連する哲学的話題に興味があります。福井で私と勉強したい人は連絡ください。
研究分野
- ソフトウェア検証・テスト・アシュアランス
- 限定算術や非古典論理・プログラミング言語理論

#計算機科学 #数理論理学 #ソフトウェア工学

English: @yoriyuki

Lists

Timeline

yoriyukiy has no activity yet