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

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!