A Brief CV of Masahito Hasegawa
Name: Masahito Hasegawa
Date of Birth: 31 January 1970
Place of Birth: Kyoto, Japan
Nationality: Japanese
Affiliation: Research Institute for Mathematical Sciences
Kyoto University
Kyoto 606-8502 Japan
Phone: +81 75 753 7243
FAX: +81 75 753 7272
Education History
1988 - 1992 BSc study (4 years course) at Faculty of Science,
Kyoto University, Japan.
Subject: Mathematical Science.
Graduated in March 1992.
1992 - 1994 MSc study (2 years course) at Research Institute for
Mathematical Sciences, Kyoto University.
Subject: Computer Science.
Supervisor: Prof. Reiji Nakajima.
Graduated in March 1994.
1994 PhD study at Department of Computer Science, Keio
University, Japan (from April 1994 to September 1994).
Supervisor: Prof. Norihisa Doi, Prof. Tatsuya Hagino.
1994 - 1997 PhD study at Department of Computer Science,
University of Edinburgh, Scotland.
Supervisor: Prof. Rod Burstall, Dr. Philippa Gardner,
Dr. John Power.
Thesis Examiner: Dr. Martin Hyland (Cambridge),
Dr. Alex Simpson.
Graduated in July 1997.
Job History
1997 - 1999 Research Associate at Research Institute for
Mathematical Sciences, Kyoto University (from July 1997).
1999 - 2002 Lecturer at Research Institute for Mathematical
Sciences, Kyoto University (from June 1999).
2000 - 2001 Visiting Research Fellow, Laboratory for Foundations of
Computer Science, University of Edinburgh
(from September 2000 to June 2001).
2002 - 2007 Associate Professor at Research Institute for
Mathematical Sciences, Kyoto University (from April 2002).
2007 - present Professor at Research Institute for Mathematical Sciences,
Kyoto University (from April 2007).
2002 - 2006 Researcher, "Information and Systems", PRESTO,
Japan Science and Technology Agency
(from November 2002 to March 2006).
2005 Invited Professor, Preuves, Programmes et Systemes,
Universite Paris 7 (July 2005).
Activities
1999 8th International Conference on Category Theory and Computer Science
(CTCS'99) Program Committee Member
2001 5th International Conference on Typed Lambda Calculi and Applications
(TLCA'01) Program Committee Member
4th International Symposium on Theoretical Aspects of Computer Software
(TACS'01) Program Committee Member
2003 1st Asian Symposium on Programming Languages and Systems
(APLAS'03) Program Committee Member
2004 4th ACM SIGPLAN Workshop on Continuations
(CW'04) Program Committee Member
15th International Conference on Rewriting Techniques and Applications
(RTA'04) Program Committee Member
10th International Conference on Category Theory and Computer Science
(CTCS'04) Program Committee Member
2005 7th International Conference on Typed Lambda Calculi and Applications
(TLCA'05) Organizing Committee Chair
2006 Workshop on Mathematically Structured Functional Programming
(MSFP'06) Program Committee Member
4th Asian Symposium on Programming Languages and Systems
(APLAS'06) Program Committee Member
2007 23rd Conference on the Mathematical Foundations of Programming Semantics
(MFPS XXIII) Program Committee Member
16th International Symposium on Fundamentals of Computation Theory
(FCT2007) Program Committee Member
2008 1st International Conference on Foundations of Informatics, Computing and Software
(FICS'08) Program Committee Member
2009 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
(POPL'09) Program Committee Member
2010 13th International Conference on Foundations of Software Science and Computation Structures
(FoSSaCS'10) Program Committee Member
17th Workshop on Logic, Language, Information and Computation
(WoLLIC'10) Program Committee Member
2011 9th Asian Symposium on Programming Languages and Systems
(APLAS'11) Program Committee Member
Awards
1998 Distinguished Dissertations Award
(Conference of Professors and Heads of Computing, British Computer Society)
2001 ETAPS2001 Best Theoretical Paper Award
for a joint work with Yoshihiko Kakutani
(European Association for Theoretical Computer Science)
2005 Japan IBM Science Prize
for the study on semantics of computation and theory of programming languages
Back to Hassei's Home Page