Mutsunori Banbara

[ Japanese ]
Prof. Dr. Mutsunori BANBARA

Affiliation
Graduate School of Informatics, Nagoya University
E-mail
Links
DBLP, Google Scholar, ORCID

Mutsunori Banbara received his B.S. degree in Mathematics from Kobe University in 1994 and his M.S. degree in Mathematics from the Graduate School of Science and Technology at Kobe University in 1996. In September 2002, he obtained his Doctor of Engineering degree from the Graduate School of Science and Technology at Kobe University (Dissertation title: Design and Implementation of Linear Logic Programming Languages).

He began his academic career as a Research Associate at Nara National College of Technology in 1996, where he was appointed Lecturer in 1998. In April 2003, he joined the Information Science and Technology Center at Kobe University as a Lecturer, and was promoted to Associate Professor in 2007. Since 2018, he has been a Professor at the Graduate School of Informatics, Nagoya University.

His research interests range from theoretical foundations to practical implementations in Knowledge Representation and Reasoning (KRR). His particular focus is on Answer Set Programming, Constraint Programming, and Satisfiability Testing (SAT).

Personal Background

Mutsunori Banbara was born in 1971 in Tsuyama City, Okayama Prefecture, Japan. He practices Kendo (3rd grade) and Traditional Japanese Swimming (Shinden-ryu, 2nd grade).