Name: Alex Gryzlov
Expertise: Functional programming, typed languages, theorem proving
Location: Vilnius, Lithuania
Twitter: clayrat
Github: clayrat
LinkedIn: alexgryzlov skyrodent

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.