About me

Hello, I'm Humam Alhusaini! I'm an undergraduate at the University of Texas at Dallas who's working at the SL2 lab under Dr. Kevin Hamlen! My email is [first name . last name @ utdallas.edu]

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.

BTW, I used to use Qubes, but then I came to my senses.
I really want an ereader.

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
Software Foundations
Verification for Dummies

Gallery

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

Selfie on Chautauqua Trail at PLDI 26
Summit of Chautauqua Trail at PLDI 26

Recommended Software

Youtube -> Invidious
Youtube Music -> SimpMusic
Gmail -> Proton Mail
ChatGPT -> Duck AI
NordVPN -> Mullvad VPN
Chrome Browser -> Brave Browser/Firefox
Linux -> QubesOS
Find My Friends -> Self Hosted Owntracks
Twitter -> Mastodon
Whatsapp -> Signal