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 ...
© 2026 American City Business Journals. All rights reserved. Use of and/or registration on any portion of this site constitutes acceptance of our User Agreement ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results