Marianne Bellotti spends 80% of her work time thinking about how to build great engineering teams and 20% thinking about temporal logic. She also sometimes plays with mainframes. For more of her writing, check out her technical blog.