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


Haskell 2021 PC member
PPDP 2021 PC member
PEPM 2022 PC member
PADL 2022 PC member
[New!] GPCE 2022 PC chair


AAFS Executive Committee Member
FLOPS Steering Committee Member

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