Keiichi WATANABE (渡邉 慶一)

I was a master's course student in Kobayashi Lab, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo.
My supervisor was Naoki Kobayashi. (Until March 2018)

Research Interests

• Programming Language Theory
• Program Verification
• Type Theory
• Functional Programming

Publications

• Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa and Naoki Kobayashi:
  Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking.
  In the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2019), Cascais, Portugal, 2019.
  [Paper]
• Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe:
  Higher-Order Program Verification via HFL Model Checking.
  In the 27th European Symposium on Programming (ESOP 2018), Thessaloniki, Greece, 2018.
  [arXiv]
• Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada and Naoki Kobayashi:
  Automatically Disproving Fair Termination of Higher-Order Functional Programs.
  In the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Nara, Japan, 2016.
  [PDF, Slide, YouTube, Demo]

Poster Presentations

• 渡邉 慶一, 佐藤 亮介, 塚田 武志, 小林 直樹:
  高階関数型プログラムの公平停止性の自動反証手法
  Presented at 第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016), Okayama, Japan, 2016.

Teaching Experiences

• Teaching assistant for "Functional and Logic Programming Lab", April 2016 - September 2016
• Teaching assistant for "Processor and Compiler Lab" (compiler part), September 2016 - March 2017

Education

• Master of Information Science and Technology, The University of Tokyo, March 2018
• Bachelor of Science, The University of Tokyo, March 2016

Contact

• E-Mail: watanabe (at) kb.is.s.u-tokyo.ac.jp
• GitHub