About me

Hello, I'm Humam Alhusaini and this is my website! I'm an undergraduate at the University of Texas at Dallas who's working at the Software languages Security Lab! I'm interested in formal methods, interactive theorem proving, and cybersecurity in general! I also like identifying plants, self hosting, and liberating myself from proprietary software. If you'd like to contact me, my email is available on my resume

Papers

Hopefully this list will be longer.

• Formal Proofs of Bit Hacks in Machine Code by Humam Alhusaini at PLDI SRC 2026   —   Camera Ready   Poster

• Towards Automated Reasoning About Machine Code Using SMTCoq by Humam Alhusaini at FMCAD 2026 Student Forum   —   Submission

Random Ideas

• A RSS Reader Client And Server that constructs a for you page and recommends new content: allow me to learn about ML and I'll probably do it during stats/linear algebra
• A decompiler for a proof assistant, maybe Rocq - would allow me to learn about decompilation
• A SAT solver - Just cause I'm curious, and bonus points if it produces DRUP certificates
• A proof checker for the aforementioned SAT solver

What I'm reading

Hopefully this list will be longer as well!

• Botany in a Day by Thomad J. Elpel
• Progress and Poverty by Henry George

Gallery

I'm not a photographer, but I don't want to let my photos rot in my gallery so here they are!