Skip to content
View mhbtz1's full-sized avatar
💭
optimistic
💭
optimistic
36 followers · 16 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report mhbtz1

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
mhbtz1/README.md

Hi there 👋

My name is Matthew Habtezgi. I am a computer programmer with interests in software engineering and ML / formal methods research.

I am currently working as a founding engineer at Bronco AI in San Francisco, CA, and formerly have been:

  1. Founding Engineer at 14.ai working on full-stack AI applications for customer support AI agents.
  2. ML Engineer at Structify in Brooklyn, NYC working on backend and ML systems.
  3. MIT PLV at MIT CSAIL as a research intern working on a project verifying RISC-V cores (Koika) and a project verifying properties of a tensor compiler (ATL) in Rocq.
  4. Software engineering Intern at Amazon Web Services in Cupertino, CA working on low-level systems / server firmware.

All of my relevant links + websites are present on this GitHub profile.

Pinned Loading

  1. koika koika Public

    Forked from mit-plv/koika

    A core language for rule-based hardware design 🦑

    Coq 1

  2. llvm-project llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    LLVM

  3. software-foundations software-foundations Public

    HTML

  4. dht-rs dht-rs Public

    An implementation of a distributed hash table from scratch in Rust.

    Rust

  5. context-free-grammar-evals context-free-grammar-evals Public

    An application using GPT 5.1's CFG API for doing text-to-SQL evals

    TypeScript

  6. effectful-prompt-optimizer effectful-prompt-optimizer Public

    An effectful turnkey prompt optimizer

    TypeScript