研究キーワードが「Model Checking」である研究者

ウガワトモハル

鵜川始陽

Tomoharu Ugawa

東京大学

大学院情報理工学系研究科准教授
トミタタカシ

冨田尭

Takashi Tomita

北陸先端科学技術大学院大学

情報社会基盤研究センター准教授
イマイケイゴ

今井敬吾

Keigo Imai

株式会社ディー・エヌ・エー
ナカタアキオ

中田明夫

Nakata Akio

広島市立大学

情報科学研究科システム工学専攻教授
ヨコガワトモユキ

横川智教

Tomoyuki YOKOGAWA

岡山県立大学

情報工学部情報システム工学科准教授
コバヤシツトム

小林努

Tsutomu Kobayashi

宇宙航空研究開発機構 (JAXA)

研究開発部門研究開発員
タカハシマコト

髙橋真

Makoto Takahashi

神戸大学
スズキヤスヒト

鈴木康人

Yasuhito Suzuki

沼津工業高等専門学校

制御情報工学科教授
うんのひろし

海野広志

Hiroshi Unno

東北大学

電気通信研究所教授
青木利晃

Toshiaki Aoki

北陸先端科学技術大学院大学

先端科学技術研究科教授
ヨシダサトル

吉田聡

Satoru YOSHIDA

公立鳥取環境大学

人間形成教育センター教授
オオツカヒロシ

大塚寛

Hiroshi Otsuka

愛媛大学

大学院理工学研究科数理物質科学専攻准教授
イマイタケオ

今井健男

Takeo Imai

ぼのたけ

アジャイルコーチ
ノウ゛ァックダウ゛ィッド

Nowak David

David Nowak

独立行政法人産業技術総合研究所

情報セキュリティ研究センターソフトウエアセキュリティ研究チーム Research scientist
安杰

Jie An

国立情報学研究所

アーキテクチャ科学研究系特任研究員
ワガマサキ

和賀正樹

Masaki Waga

京都大学

大学院情報学研究科助教
クマザワツトム

熊澤努

Tsutomu Kumazawa

株式会社SRA

先端技術研究室
Weitl Franz

weitl

国立情報学研究所

DAAD （ドイツ学術交流会）外来研究員
シェチャオ

謝橋

Chiao HSIEH

京都大学

大学院情報学研究科特定研究員
ハリエヨウジロウ

張江洋次朗

Yojiro Harie

金沢学院大学

情報工学部助教
緒方和博

Kazuhiro Ogata

北陸先端科学技術大学院大学
タナベマコト

田辺誠

Makoto Tanabe

宇部工業高等専門学校

制御情報工学科教授