Ghourabi Fadoua

Homepage URL (1)： https://github.com/Fadouagh/Eos

Research field (2)： Intelligent informatics , Information theory

Research keywords (5)： Software science , Automated reasoning , Computational origami , Mathematical logic , Theorem proving

Papers (17)：

F. Ghourabi. Toward non-flat geometrical origami folds with Eos system. Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017). 2018. 75-79
F. Ghourabi, K. Takahashi. What does qualitative spatial knowledge tell about origami geometric folds?. Proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018). 2018. LNAI 11110. 139-154
F. Ghourabi, T. Ida, K. Takahashi. Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons. Origami$^6. 2016. 1. 55-67
T. Ida, J. Fleuriot, F. Ghourabi. A new formalization of origami in geometric algebra. Proceedings of the 11 International Workshop on Automated Deduction in Geometry (ADG 2016). 2016. 117-136
F. Ghourabi, K. Takahashi. Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015). 2015. 530-539

ｍore...

Professional career (1)：

Work history (4)：

2015/01 - 現在 Ochanomizu University Faculty of General Educational Research / Faculty of Science Project Lecturer / Research fellow
2013/04 - 2014/12 Kwansei Gakuin University School of Science and Technology Post-doctoral fellow
2012/10 - 2013/01 Carthage University Sup'Com Part-time teacher
2011/04 - 2012/05 Tsukuba University Department of computer science Researcher

Awards (2)：

2013/12 - School of Science and Technology, Kwansei Gakuin University The Haruka Yamada Award for female researchers in science and technology
2005/04 - Ministry of Education, Culture, Sports, Science and Technology (MEXT) Monbukagakusho Scholarship

Association Membership(s) (1)：

Association for computing Machinery (ACM)

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page