Research output per year
Research output per year
I am a Ph.D. Student from the School of Computer Science at the University of Manchester. I am interested in expressivity of various formal languages and, in particular, the decidability and complexity status of various problems (e.g. finite/general satisfiability, query entailment, Craig interpolant existence, spectra etc.) for said languages.
I am one of the inventors of the Adjacent Fragment of First-Order Logic and am currently working on expressiveness, spectra and decidability of satisfiability problems for extensions of the language.
I expect to finish my Ph.D. by end of March 2025, and am currently looking for post-doc opportunities.
You can find my publications on DBLP (click here!) or on my personal page (click here!)
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review