Alex Gryzlov

Alex is a programmer with a background in back-end development and data science. His latest area of interest is everything related to formal verification: type theory, logic and abstract algebra. He’s also intrigued by biology and linguistics. Enjoys traveling and experimental music.

Role: Developer

Expertise: Functional programming, typed languages, theorem proving

Location: Vilnius, Lithuania
[] github
[] linkedin
[] twitter