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:
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 ๐. For the first semester of 2024, I'll be teaching formal methods as a temporary lecturer at UDESC.
I'm Brazillian ๐ง๐ท, I love it here, and you can find me on our beaches from December to February (yes, that's summer โ๏ธ). I'm also a competitive dancer ๐, cat owner ๐, and casual gamer ๐ฎ.