Skip to main content
KBS_Icon_questionmark link-ico

Biography

Research Interests

  • Mathematical logic
  • Logical systems in computer science and artificial intelligence

More Information