AI trading bots are no longer used only by professional quant teams. In 2026, traders are using automated tools to monitor ...
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 ...