Research and Papers
Teaching and Lectures
Students and Lab.
TSSS seminar


FLOPS 2024 PC member
GPCE 2023 PC member
ICFP 2023 PC member
PEPM 2023 PC member
PADL 2023 PC member


AAFS Executive Committee
FLOPS Steering Committee
GPCE Steering Committee

Yukiyoshi Kameyama, Ph.D.

I am a professor at the Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Japan. I teach at the undergraduate-level College of Information Science, School of Informatics, University of Tsukuba.

My research interests are in functional programming, type theory and computational logic. More specifically, I am interested in staged computation (program generation) and program transformation, continuations and control operators, and program verification and interactive theorem proving. Recently, I am interested in applying these theoretical results to application areas including various high-performance computing algorithms.

I am leading the Programming Logic Group (Laboratory) in the Department of Computer Science, and supervising around 10 graduate and undergraduate students with Hiroshi Unno.

I have served for a number of international events as organizers, pc members etc. In 2016, I served as the General Chair of International Symposium on Functional and Logic Programming (FLOPS2016), and will serve as a Program Co-Chair of ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'16), and the Director of ACM International Collegiate Programming Contest (ICPC), Asia Tsukuba Regional Contest. I am a steering committee member of FLOPS series, and an executive committee member of Asian Association for Foundation of Software (AAFS).


Postal Address Dept. of Computer Science, University of Tsukuba, Tennodai 1-1-1, Tsukuba, 305-8573, JAPAN
Phone & Fax +81-29-853-5758
E-mail kam [at] cs . tsukuba . ac . jp