Youyou Cong

I am an assistant professor at Tokyo Institute of Technology, working in the Programming Research Lab, Department of Mathematical and Computing Science with Hidehiko Masuhara.  My research concentrates on the theory of programming languages, with a particular interest in continuations and dependent types.  In my dissertation, I designed a dependently typed language with support for delimited control, where one can express sophisticated behaviors while maintaining nontrivial invariants.


My CV can be found here.

Research Interests

functional programming, delimited continuations, dependent types, programming education, natural language semantics.


March 2019    Doctor of Science, Department of Computer Science, Ochanomizu University.

March 2016    Master of Science, Department of Computer Science, Ochanomizu University.

March 2014    Bachelor of Science, Department of Information Sciences, Ochanomizu University.

Academic Experience

October 2018 - November 2018

  Visiting scholar, Department of Computer Science, Purdue University (Host: Tiark Rompf).

March 2017 - June 2017

  Visiting graduate student, Department of Computer Science and Engineering, Chalmers University of Technology (Host: Andreas Abel).

September 2016 - December 2016   

  Visiting scholar, College of Computer and Information Science, Northeastern University (Host: Matthias Felleisen).

March 2015 - June 2015   

  Visiting graduate student, Department of Linguistics, New York University (Host: Chris Barker).

Conference and Journal Publications

Workshop / Symposium Talks

Invited Talks & Lectures

Technical Reports

Honors and Awards



Other Interests