ばびゅ~んimuno さんのマイページ

@imunolion

東京大学大学院情報理工学系研究科創造情報学専攻博士課程。クラウドコンピューティング、形式手法、ソフトウェア検証理論。


今後の予定過去の予定日付未定


イベントがありません。