Graduate School of Engineering

  • Print only the body of the page. Set to print background colors and images.
  • Print the whole page. Set to print background colors and images.

Symbolic Computation Laboratory (Okui Laboratory)

Supervisor:

Associate Prof. Satoshi Okui

Main Research Topics:

  • Rewriting systems and functional / logic programming
  • Automated equational deduction
  • DNA computing

Okui Laboratory

Page Top