Foundations of quantum programming languages (lambda calculus, type theory, category theory)
Working area
My research focuses on the theoretical foundations of computer science, with a special emphasis on the design, semantics, and formalization of quantum programming languages. I employ tools from mathematical logic, lambda calculus, type theory, and category theory to develop formal models for structuring denotational semantics and reasoning about quantum programs, ensuring correctness and safety properties in quantum information processing.
