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.
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).
Coordinates
| 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 |
[Japanese/English]