-
About Me
I am now a third-year PhD student at the computer science department in Cambridge.
You can have a look at my research here.
I’m currently searching for academic positions starting from the academic year 2027/28. You can have a look at my academic CV.
You can reach me via: ye dot lingyuan dot ac at gmail dot com :)
Lingyuan Ye 叶凌远
Will we know?
News
- My paper Duality theory for categorical theories has been accepted by JSL!
- My paper Coexact completion of profinite Heyting algebras and uniform interpolation has been accepted by RSL!
- My new preprint Failure of Higher-Order Truth within Intuitionistic Propositional Logic with Yiqi Xu is out, solving a long-standing open problem in categorical logic, answering whether all Heyting algebras can arise as the subterminal lattice of an elementary topos in the negative.
- I gave a plenary talk at CT2026 on Craig interpolation for subgeometric logics, here are the slides.
- Our new preprint Conceptual completeness for subgeometric logics with Ivan Di Liberti and Umberto Tarantino is out, which establishes a variety of conceptual completeness results for many subgeometric logics.
- I gave a talk at ItaCa Fest on June 16th, on using the pro-etale site to deliever a corresponding exodromy theorem for any first-order theory. [slides, video]
- I gave a talk at PSSL 112 in Nottingham about synthetic quasi-coherence for coherent theories and Church’s thesis in sheaf topoi. [slides]
- My paper Categorical structure in coherent theory of arithmetic has been published in TCS!
Lingyuan Ye 叶凌远 