Aliaksandr Hryzlou

Aliaksandr Hryzlou is a Researcher at the IMDEA Software Institute, Spain, working with Niki Vazou. He holds an MSc from the University of Mannheim, Germany. His research focuses on programming language theory and formal methods, including advanced type systems, program logics, and their applications in systems (e.g., concurrency, cryptography) and applied domains (e.g., probabilistic programming). He contributes to projects like LiquidHaskell and maintains formal verification frameworks such as FCSL and HTT, leveraging separation logic and applied category theory.

Education:

• MSc, University of Mannheim, Germany

Research Interests:
He explores compositionality in formal systems, mechanized proofs, and the intersection of mathematics and programming. His work emphasizes practical tools for verifying stateful and functional programs, with applications ranging from compiler construction to bioinformatics.

Labs/Teams: Active in the IMDEA Software Institute's formal methods group, contributing to the FCSL and HTT projects.