トップ研究者一覧橋本 健二

研究者を探す

橋本 健二

香川大学

2024年12月20日更新

橋本 健二
職名
創造工学部 准教授
電話
研究者総覧に該当データはありませんでした。
電子メール
研究者総覧に該当データはありませんでした。
学歴
2009年3月1日 大阪大学 情報科学研究科
2006年3月1日 大阪大学 情報科学研究科
2004年3月1日 大阪大学 基礎工学部
学位
博士(情報科学)
職歴・経歴
2024年4月1日〜現在 香川大学 創造工学部 准教授
2017年4月1日〜2024年3月1日 名古屋大学 大学院情報学研究科情報システム学専攻 助教
2013年10月1日〜2017年3月1日 名古屋大学 大学院情報科学研究科情報システム学専攻 助教
2009年4月1日〜2013年9月1日 奈良先端科学技術大学院大学 情報科学研究科 助教
専門分野・研究分野
SAT
モデル計数
形式言語理論
ソフトウェア
情報学基礎論