Gabriel Kammer

Hi, my name is Gabriel Kammer and this is my website!

I completed my bachelor's in Computer Science with a minor in Mathematics at MIT, graduating in 2023. I stayed another year at MIT to do my MEng in the Formal Methods field, and graduated in 2024. Since then, I've worked as a Formal Verification Engineer at Intel, and then at AMD.

You can read more about me in the About section and see my résumé here. You can also see all of the contents of this website below:

• home

  • blog

    • deep-water-solo
    • wordplay
    • ab
    • food
    • projects
    • sudokumaker
    • links
    • credit-cards
    • blog-filtering
    • voronoi-line
    • hdr
    • math
    • 80-20-couch
    • spring-break
    • fanfiction
    • a
    • garden-gnome
    • b
    • running
    • sudoku
    • mr-frank
    • mtb
    • voronoi
    • fours
    • imperfect-channel
  • about

    • this-website
  • gallery