Welcome to my homepage!
I am a postdoctoral researcher in the LogICS group at Institute of Computer Science of the Czech Academy of Sciences. I work on structural proof theory for non-classical logics.
Prior to the current position, I completed my Ph.D. in October 2025 under the supervision of Prof. Nicola Olivetti at Laboratoire d'Informatique et Systèmes (LIS), affiliated with Aix-Marseille Université and CNRS. In my thesis, I conducted proof-theoretic studies of (intuitionistic) modal logics. Before starting my Ph.D., I received my Master's degree at Tsinghua University (Beijing, China) in 2022 and Bachelor's degree at Lanzhou University (Lanzhou, China) in 2019.
My complete résumé is available upon request.
Warning
Problem: The current name of your GitHub Pages repository ("Solution: Please consider renaming the repository to "
http://".
However, if the current repository name is intended, you can ignore this message by removing "{% include widgets/debug_repo_name.html %}" in index.html.
Action required
Problem: The current root path of this site is "baseurl ("_config.yml.
Solution: Please set the
baseurl in _config.yml to "News
Selected Publications (view all )
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
International Joint Conference on Automated Reasoning (IJCAR 2024) conference paper
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
International Joint Conference on Automated Reasoning (IJCAR 2024) conference paper
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) conference paper
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) conference paper