大堀・上野研メンバー及び共同研究者

スタッフ

名前研究活動など
教授大堀 淳programming languages and databases
准教授上野 雄大functional programming, software design and implementation
秘書寒河江 香子

学生

学年名前研究活動など
M2大野 一樹デバッグ環境の構築
M2徳永 航平SML#によるOSの開発
M2美馬 久行abstract interpretation
M1佐々木 雄哉
M1橋本 航汰
B4魚谷 孝太
B4大塚 祐貴
B4髙城 光平
留学生Jared Hall
Last modified:2017/04/07 14:47:08
Keyword(s):
References:[東北大学電気通信研究所 大堀・上野研究室] [研究] [大堀・上野研の研究内容]