Generate a tailored SOP for Dr. Alexander Gheorghiu. Improve your application with a focused, well-structured draft.
Alexander Gheorghiu is a logician working at the intersection of proof theory, semantics, and computation. He holds a PhD in Logic and Informatics from University College London, where his thesis developed the semantic foundations of reductive logic, forming the mathematical basis for proof-search in automated reasoning. His research investigates how valid logical inference is structured and understood both by humans and automated systems. Currently, Alexander is developing a significant figure in the foundations and applications of proof-theoretic semantics, focusing on the novel approach to logic and the inferential relationships that can be made explicit, rather than implicit in abstract algebraic structures. His broader goal is to provide a mathematical foundation for reasoning that reflects the proofs used, rather than merely being formalized.