Gabriela Moreira
CEO at Informal Systems
Santa Catarina, Brazil
Summary
👤
Senior🎓
Top SchoolGabriela Moreira is a CEO and research engineer with nine years of experience building executable specification languages and applying formal methods to real-world software. She leads development of Quint, a TLA+-inspired language that embeds verifiable system behavior into design, testing, and production workflows, and teaches Formal Methods at UDESC. Her background spans high-performance distributed systems and scalable streaming solutions, bringing practical engineering to rigorous specification work. An Emacs, Xmonad and NixOS power-user, she blends deep interest in programming languages, type theory, and compilers with product-focused leadership. Notably, she transitioned Quint from research at Informal Systems into a company-grade product, making formal specifications directly actionable for engineering teams.
9 years of coding experience
3 years of employment as a software developer
Master's degree in Applied Computing, Formal Software Specification and Distributed Systems, Master's degree in Applied Computing, Formal Software Specification and Distributed Systems at Universidade do Estado de Santa Catarina
English, Portuguese
Github Skills (119)
cosmos10
specification10
formal-verification10
gleam10
scalability10
smt10
logic10
tlaplus10
formal-methods10
verification10
distributed-systems10
consistency10
checker10
version-control10
rfc10
Programming languages (24)
Github contributions (5)
informalsystems/quint
Feb 2022 - Mar 2023
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Contributions:2 releases, 591 reviews, 889 commits in 1 year 1 month
model-checkingtlaformal-verificationrfclogic
bugarela/tla-transmutation
Sep 2019 - Aug 2022
Contributions:93 commits, 53 pushes, 6 branches in 2 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.