Expertise: Functional programming, typed languages, theorem proving
Location: Vilnius, Lithuania
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.