you need to get good at math then do math daily. I don't care if it's an hour or 15 minutes, but create a routine of doing ...

Gabriela Moreira, CEO of Quint at Informal Systems, is a research engineer specializing in programming languages and formal methods, with a strong focus on building tools that make complex system ...