Hello :octocat:

I'm Gabriela, and I work with programming languages and formal methods.

My main project right now is Quint ✨, a specification language based on TLA+, on which I get to work full-time as a research engineer at Informal Systems 👩‍💻.

I hold a master's degree 🎓, and both my bachelor's thesis (Portuguese) and my master's thesis (English) are about TLA+ tools, compiled in a project called TLA Transmutation, with prototypes that generate Elixir code and tests from TLA+ specifications.

PS: I have no intention of continuing this development since Quint has a great execution environment that meets most of the criteria I had for this project, and it's much more viable with a team working on it.

Aside from TLA+, I have a background in static analysis, which constitutes most of my daily work right now. My very first paper was in type systems: Type inference for GADTs, OutsideIn and anti-unification. You can check my Haskell implementation of some type inference algorithms:

• Hindley-Milner
• OutsideIn
• OutsideIn with anti-unification

All of these are things that I'm very interested in and I continually get to share them with my friends at the Função Research Group 💜. Since the start of 2024, I'm teaching formal methods as a temporary lecturer at UDESC.

I'm Brazillian 🇧🇷, I love it here, and you can find me laying under the sun from December to February (yes, that's summer ☀️). I have a beautiful cat, I'm early Gen Z (with some Millenial traces) and I play games sometimes, although I'm really not competitive.