Welcome to my homepage!
I am a final year Ph.D. student supervised by Prof. Nicola Olivetti at Laboratoire d'Informatique et Systèmes (LIS), affiliated with Aix-Marseille Université and CNRS. I work on structural proof theory for non-classical 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 CV 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