You are here: Home / Members / Fadoua Ghourabi

Fadoua Ghourabi

photoFadoua.jpg     SCSS.png

Fadoua Ghourabi, Ph.D

Project lecturer at Leading Graduate School Promotion Center, Ochanomizu University, Japan [January 2015 - present]

Postdoctoral researcher at

Department of Informatics, Kwansei Gakuin University, Japan [April 2013 - December 2014]

Symbolic Computation Research Group, University of Tsukuba, Japan [April 2011 - May 2012]


Leading Graduate School Promotion Center
Ochanomizu University
fadouaghourabi (at) gmail (dot) com | ghourabi.fadoua (at) ocha (dot) ac (dot) jp

Current research interests

  • Computational origami
  • Theorem proving
  • Qualitative spatial reasoning
  • Isabelle/HOL

Recent publications

  • T. Ida and F. Ghourabi. Polygonal Knot by Computational Origami. Symmetry: Culture and Science. Vol. 26, N. 1, pages 1 - 17, 2015 (accepted, to appear)
  • F. Ghourabi and K. Takahashi. Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. In Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015). pages 530 -- 539, 2015

List of publications on dblp


Haruka Yamada Award for female researchers, School of Science and Technology, Kwansei Gakuin University [December 18, 2013]