About me

I am Lukas Charvat, a software development engineer, formal verification researcher, wannabe hardware builder, web/game developer, stargazer, video producer, volleyball player, runner, and gamer.

Links