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

2013		11th International Conference on Typed Lambda Calculi and Applications 
		(TLCA2013) Program Committee Chair

2014		Joint International Conferences 25th RTA and 12th TLCA 
		(RTA-TLCA2014) Program Committee Member

2015		30th Annual ACM/IEEE Symposium on Logic in Computer Science 
		(LICS2015) Conference Chair

2016		1st International Conference on Formal Structures for Computation and Deduction 
		(FSCD2016) Program Committee Member 

		4th International Workshop on Linearity 
		(LINEARITY2016) Program Committee Member 

2018		3rd International Conference on Formal Structures for Computation and Deduction 
		(FSCD2018) Program Committee Member

		Joint International Workshop on Linearity and Trends in Linear Logic and Applications 
		(LINEARITY-TLLA2018) Program Committee Member 

2020		28th EACSL Annual Conference on Computer Science Logic 
		(CSL2020) Program Committee Member 

		5th International Conference on Formal Structures for Computation and Deduction 
		(FSCD2020) Program Committee Member

2021		29th EACSL Annual Conference on Computer Science Logic 
		(CSL2021) Program Committee Member 

2022		38th International Conference on Mathematical Foundations of Programming Semantics 
		(MFPS2022) Program Committee Member

2023		6th International Conference on Applied Category Theory 
		(ACT2023) Program Committee Member

2024		40th International Conference on Mathematical Foundations of Programming Semantics 
		(MFPS2024) Program Committee Member

		39th Annual ACM/IEEE Symposium on Logic in Computer Science 
		(LICS2024) 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