On the rooftop terrace of the five-star Hotel U Prince, Pavel Baudis surveys the city he’s lived in for most of his 59 years. Baudis’ baby is Avast, the anti-virus software that sits on more than 400 million computers and smartphones around the world.