略歴

氏名長谷川 真人 (はせがわ まさひと)
本籍地 岐阜県高山市
出生地 京都府京都市
生年月日昭和45年1月31日

学歴
昭和60.4.1 岐阜県立斐太高等学校 入学
63.3.7 同校卒業
63.4.1 京都大学理学部 入学
平成4.3.24 同大学卒業
4.4.1 京都大学大学院理学研究科修士課程数理解析専攻 入学
6.3.23 同大学院修士課程修了
6.4.1 慶應義塾大学大学院理工学研究科後期博士課程 計算機科学専攻 入学
6.9.21 同大学院後期博士課程退学
6.10.1 英国エディンバラ大学 計算機科学科 博士課程 入学
9.7.9 同大学博士課程修了
職歴
平成9.7.1 京都大学数理解析研究所 助手
11.6.1 京都大学数理解析研究所 講師
14.4.1 京都大学数理解析研究所 助教授
19.4.1 京都大学数理解析研究所 教授 (現在に至る)
兼任
平成9.12.1 工業技術院電子技術総合研究所 情報アーキテクチャ部 非常勤研究員 (現 産業技術総合研究所)
(〜10年3月31日・11年2月22日〜3月31日・7月12日〜12年3月31日)
12.9.1 文部省在外研究員、 エディンバラ大学 Laboratory for Foundations of Computer Science
(〜13年6月30日)
14.11.5 科学技術振興機構 戦略的創造研究推進事業 「機能と構成」領域 研究者
(研究課題「プログラミング言語の制御構造の意味論的分析」、〜18年3月31日)
17.7.1 パリ第7大学 Preuves, Programmes et Systemes 招聘客員教授 (〜17年7月30日)
学位
平成9.7.9 Ph.D. (Computer Science) エディンバラ大学
受賞
平成11.6.4 日本ソフトウェア科学会    第15回大会高橋奨励賞
11.11.18 CPHCBCS    1998年度 Distinguished Dissertations Award
13.4.4 EATCS     Best Paper Award for the best theoretical paper at ETAPS2001 (角谷良彦氏と共同受賞)
17.11.22 第19回日本IBM科学賞(コンピューターサイエンス分野)
20.4.15 平成20年度科学技術分野の文部科学大臣表彰若手科学者賞

学会活動
日本ソフトウェア科学会 会員
8th International Conference on Category Theory and Computer Science (CTCS'99)  (平成11年9月) プログラム委員
5th International Conference on Typed Lambda Calculi and Applications (TLCA2001)  (平成13年5月) プログラム委員
4th International Symposium on Theoretical Aspects of Computer Software (TACS2001)  (平成13年10月) プログラム委員
1st Asian Symposium on Programming Languages and Systems (APLAS'03)   (平成15年11月) プログラム委員
4th ACM SIGPLAN Workshop on Continuations (CW'04)  (平成16年1月) プログラム委員
15th International Conference on Rewriting Techniques and Applications (RTA'04)  (平成16年6月) プログラム委員
10th International Conference on Category Theory and Computer Science (CTCS'04)  (平成16年8月) プログラム委員
7th International Conference on Typed Lambda Calculi and Applications (TLCA'05)  (平成17年4月) 組織委員長
Workshop on Mathematically Structured Functional Programming (MSFP'06)  (平成18年7月) プログラム委員
4th Asian Symposium on Programming Languages and Systems (APLAS'06)  (平成18年11月) プログラム委員
23rd Conference on the Mathematical Foundations of Programming Semantics  (平成19年4月) プログラム委員
16th International Symposium on Fundamentals of Computation Theory  (平成19年8月) プログラム委員
1st International Conference on Foundations of Informatics, Computing and Software (FICS'08)  (平成20年6月) プログラム委員
36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'09)  (平成21年1月) プログラム委員
13th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS2010)  (平成22年3月) プログラム委員
17th Workshop on Logic, Language, Information and Computation (WoLLIC2010)  (平成22年7月) プログラム委員
Mathematical Structures in Computer Science 編集委員(平成19年1月〜)

Masahito Hasegawa / hassei@kurims.kyoto-u.ac.jp