Gabriella Gonzalez
Founding Engineer, Infrastructure at ☁️ Cloudglue
San Jose, California, United States
Summary
🤩
Rockstar🎓
Top SchoolGabriella Gonzalez is a founding infrastructure engineer and functional programming enthusiast with 14 years of experience building scalable developer tooling and secure production systems from startups to large teams. Based in San Jose, she blends hands-on engineering, DevOps, and engineering management—recently leading Nix/NixOS efforts and radical build-performance improvements at Mercury before founding Cloudglue. An active open-source maintainer, she’s a core contributor to the Dhall configuration language and has impacted projects across the Haskell ecosystem including GHC and ghcid. Her work spans low-level build system integration, compiler-adjacent changes, and pragmatic automation (Docker, CI/CD, containerization), demonstrating fluency across languages and platforms. Notably, she holds a PhD in Biochemistry and Biophysics, an unusual academic background that informs a methodical, research-driven approach to systems design.
14 years of coding experience
12 years of employment as a software developer
Bachelor of Science (B.Sc.), Biomedical/Medical Engineering, Bachelor of Science (B.Sc.), Biomedical/Medical Engineering at The University of Texas at AustinPh.D., Biochemistry and Biophysics, Ph.D., Biochemistry and Biophysics at University of Pennsylvania
Github Skills (30)
python10
nix10
scripting10
monoid10
dhall10
build-system10
script10
compiler-design10
language-design10
build-automation10
ghci10
ghc10
cabal10
sh10
build-tools10
Programming languages (28)
Github contributions (5)
Gabriella439/turtle
Jan 2015 - Dec 2022
Shell programming, Haskell style
Role in this project:
Backend Developer
Backend DeveloperContributions:34 releases, 4 reviews, 445 commits in 8 years
Contributions summary:Gabriella primarily focused on implementing core features for a shell programming language in Haskell. Their work included adding functionalities for reading and writing files, refactoring the underlying shell structure to use `FoldM` for more efficient stream processing, and creating utilities for handling file input and output. They also contributed to improving the codebase through documentation updates and the addition of utilities for string manipulation and command execution.
scriptingghchaskellcabalservant
dhall-lang/dhall-lang
Sep 2017 - Jan 2023
Maintainable configuration files
Role in this project:Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:24 releases, 132 reviews, 541 commits in 5 years 4 months
Contributions summary:Gabriella primarily contributed to defining and standardizing the Dhall grammar using ABNF notation. They added support for various features, including Unicode string literals, code comments, and advanced import semantics. Moreover, the user implemented a new feature for record completion, increasing flexibility and code reusability. The user also addressed security concerns by implementing referential sanity checks and limiting permissible environment variable imports.
configurationconfiguration-filesconfigdotfilesdhall
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.