@jankofron.bsky.social
Associate professor at Charles University, Czech Republic, computer science, program verification, linux
