略歴

氏名長谷川 真人 (はせがわ まさひと)
本籍地 岐阜県高山市
出生地 京都府京都市
生年月日昭和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 (現 IRIF) 招聘客員教授 (〜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年度科学技術分野の文部科学大臣表彰若手科学者賞
令和5.9.14 日本ソフトウェア科学会   2022年度基礎研究賞

学会活動
日本ソフトウェア科学会 会員
ACM Special Interest Group on Logic and Computation (SIGLOG) 会員
Mathematical Structures in Computer Science 編集委員(平成19年1月〜)
[2010年以前]
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月) プログラム委員
第11回プログラミングおよびプログラミング言語ワークショップ (PPL2009)  (平成21年3月) 共同プログラム委員長
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月) プログラム委員
[2011年〜2020年]
9th Asian Symposium on Programming Languages and Systems (APLAS2011)  (平成23年11月) プログラム委員
11th International Conference on Typed Lambda Calculi and Applications (TLCA2013)  (平成25年4月) プログラム委員長
Joint International Conferences 25th RTA and 12th TLCA (RTA-TLCA2014)  (平成26年7月) プログラム委員
30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2015)  (平成27年7月) 組織委員長
1st International Conference on Formal Structures for Computation and Deduction (FSCD2016)  (平成28年6月) プログラム委員
4th International Workshop on Linearity (LINEARITY2016)   (平成28年6月) プログラム委員
3rd International Conference on Formal Structures for Computation and Deduction (FSCD2018)  (平成30年7月) プログラム委員
Joint International Workshop on Linearity and Trends in Linear Logic and Applications (LINEARITY-TLLA2018)   (平成30年7月) プログラム委員
28th EACSL Annual Conference on Computer Science Logic (CSL2020)  (令和2年1月) プログラム委員
5th International Conference on Formal Structures for Computation and Deduction (FSCD2020)  (令和2年6月) プログラム委員
[2021年以降]
29th EACSL Annual Conference on Computer Science Logic (CSL2021)  (令和3年1月) プログラム委員
38th International Conference on Mathematical Foundations of Programming Semantics (MFPS2022)  (令和4年7月) プログラム委員
6th International Conference on Applied Category Theory (ACT2023)  (令和5年7月) プログラム委員
40th International Conference on Mathematical Foundations of Programming Semantics (MFPS2024)  (令和6年6月) プログラム委員
39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2024)  (令和6年7月) プログラム委員

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