Scholar
Yukiyoshi Kameyama
Google Scholar ID: Pr_Rex0AAAAJ
University of Tsukuba
Citations & Impact
Citations
218
H-index
10
i10-index
10
Publications
20
Co-authors
7
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Contributions: Plays significant roles in multiple international conferences, member of the steering committee for FLOPS series, and executive committee member of AAFS.
Research Experience
- Position: Professor
- Institution: Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba
- Projects Led: Leads the Programming Logic Group, supervising around 10 graduate and undergraduate students.
- Service: Has served for numerous international events as organizers, PC members, etc., including serving as General Chair of FLOPS2016 and Program Co-Chair of FHPC'16.
Education
- Degree: Ph.D.
- University: University of Tsukuba
- Major: Not explicitly stated but implied to be related to Computer Science or a similar field.
Background
- Research Interests: Functional programming, type theory, and computational logic. Specifically, interested in staged computation (program generation), program transformation, continuations and control operators, and program verification and interactive theorem proving. Recently, applying these theoretical results to application areas including various high-performance computing algorithms.
Miscellany
- Personal Interests: Not mentioned
