客員教員紹介（奈良先端科学技術大学院大学）

先端科学技術研究科

Affeldt Reynald（あふぇると れなるど）の写真

Affeldt Reynald（あふぇると れなるど）　客員教授

産総研所属・職名

情報・人間工学領域
インテリジェントプラットフォーム研究部門（インテリジェントプラットフォーム研究部門WEBサイト）
超分散トラスト研究グループ
上級主任研究員（Affeldt Reynald WEBサイト）

キーワード

形式検証、定理証明支援系、ソフトウェアの検証、数学の形式化、意味論

 

大学講座・講義等

  • 形式検証

学生に一言

 
富井 健太郎（とみい けんたろう）の写真

富井 健太郎（とみい けんたろう）　客員教授

産総研所属・職名

情報・人間工学領域
人工知能研究センター（人工知能研究センターWEBサイト）
機械学習研究チーム
上級主任研究員（富井健太郎WEBサイト）

キーワード

バイオインフォマティクス、データサイエンス、構造生物学、計算生物学

大学講座・講義等

学生に一言

科学技術の発展に伴い、本格的な計算生物学の時代の幕開けが到来している今、これまでにない新たな生物学研究を創造する絶好の機会です。
夢中になれる研究を見つけましょう。
川田 健太郎（かわた けんたろう）の写真

川田 健太郎（かわた けんたろう）　客員准教授

産総研所属・職名

セルフケア実装研究センター（セルフケア実装研究センターWEBサイト）
生理機能・データ解析研究チーム
主任研究員（川田 健太郎WEBサイト）

キーワード

システム生物学、バイオインフォマティクス、生命情報科学、マルチオミクス解析、遺伝子制御ネットワーク

大学講座・講義等

  • コロキアムA 

学生に一言

バイオインフォマティクスって難しそう！？
必要なのはちょっとした興味と踏み出す決意！
これからのサイエンスを担う皆さんの参加を待っています！
川本 裕輔（かわもと ゆうすけ）の写真

川本 裕輔（かわもと ゆうすけ）　客員教授

産総研所属・職名

情報・人間工学領域
インテリジェントプラットフォーム研究部門（インテリジェントプラットフォーム研究部門WEBサイト）
超分散トラスト研究グループ
研究グループ長（川本 裕輔WEBサイト）

キーワード

形式手法、プログラム検証、統計の信頼性、情報セキュリティ、AIセーフティ
 

大学講座・講義等

  •  

学生に一言

当研究室では、数理論理学に基づいて、AIシステムやロボットなどのソフトウェアシステムの仕様を記述・検証・説明するための形式手法について研究しています。
特に、AIシステムや統計ソフトウェアの正しさの検証・説明の研究や、数学・統計科学の形式化の研究に取り組んでいます。
川本 裕輔（かわもと ゆうすけ）の写真

丸山 翼（まるやま つばさ）　客員准教授

産総研所属・職名

情報・人間工学領域
人工知能研究センター（ 人工知能研究センターWEBサイト）
デジタルヒューマン研究チーム
主任研究員

キーワード

大学講座・講義等

  •  

学生に一言

 

▲ ページトップへ

【産総研との連携メニューを知りたい方へ】

より詳細な説明を受けたい、またはご質問などがある方は、下記ご相談フォームよりご連絡ください。担当者より折り返しご連絡いたします。（ご相談内容により、お応え出来ない場合もございます。予めご了承ください。）

連携制度・共同研究に関する
ご相談フォームはこちら
Copyright © National Institute of Advanced Industrial Science and Technology （AIST）
（Japan Corporate Number 7010005005425）. All rights reserved.

Copyright © National Institute of Advanced Industrial Science and Technology （AIST）
（Japan Corporate Number 7010005005425）. All rights reserved.