STAIR Lab

Member
上席研究員 Senior Research Scientist
安部 達也 Tatsuya Abe

2007年12月東京大学より博士(情報理工学)取得。

2002年3月京都大学理学部卒業。2007年9月東京大学情報理工学系研究科退学。2007年10月より産業技術総合研究所テクニカルスタッフ、2008年4月より同研究所特別研究員、2009年4月より京都大学特定助教、2011年4月より理化学研究所特別研究員、2013年4月より同研究所研究員。2015年11月より現職。

計算とは何かということに興味を持ち、プログラミング言語の理論と実装、プログラム検証の研究に従事。

安部達也の個人ページ

Since November 2015, I am a senior research scientist at STAIR Lab, Chiba Institute of Technology. I got BA from Kyoto University in 2002. I have received a Ph.D. degree in Computer Science from the University of Tokyo in 2007. I have worked for National Institute of Advanced Industrial Science and Technology, Kyoto University, and RIKEN.

Tatsuya Abe's Personal Page

Research Interest

プログラミング言語、プログラム検証、並行・並列・分散計算など Programming Languages, Program Verification, Concurrency, Parallel Processing, and Distributed Computing.