| 氏名 | 長谷川 真人 （はせがわ まさひと） |
| 本籍地 | 岐阜県高山市 |
| 出生地 | 京都府京都市 |
| 生年月日 | 昭和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 | パリ第７大学 Preuves, Programmes et Systemes （現 IRIF） 招聘客員教授 （〜17年7月30日） | |
| 学位 | ||||
| 平成 | 9. | 7. | 9 | Ph.D. （Computer Science） エディンバラ大学 |
| 受賞 | ||||
| 平成 | 11. | 6. | 4 | 日本ソフトウェア科学会 第15回大会高橋奨励賞 |
| 11. | 11. | 18 | CPHC・ BCS 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年度基礎研究賞 |
Masahito Hasegawa / hassei@kurims.kyoto-u.ac.jp