Skip to content
View bugarela's full-sized avatar
:octocat:
Excited about too many things
:octocat:
Excited about too many things

Block or report bugarela

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
bugarela/README.md

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:

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 🎮.

Pinned Loading

  1. informalsystems/quint informalsystems/quint Public

    An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

    TypeScript 825 34

  2. informalsystems/cosmwasm-to-quint informalsystems/cosmwasm-to-quint Public

    Semi-automated modelling and Model-Based Testing for CosmWasm contracts

    Rust 14 1

  3. tla-transmutation tla-transmutation Public

    Elixir code and test generation from TLA+ specifications

    Elixir 71 6

  4. GADTInference GADTInference Public

    Haskell 6

  5. OutsideIn OutsideIn Public

    Haskell 3