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!
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.
I use Qubes btw
Research
Hopefully this list will be longer.
Formal Proofs of Bit Hacks in Machine code by Humam Alhusaini at PLDI SRC 2026 — Submission Reviews Camera Ready Poster
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 26Summit 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 BrowserFirefo
- Linux -> QubesOS
- Find My Friends -> Self Hosted Owntracks
- Twitter -> Mastodon
- Whatsapp -> Signal
- VSCode -> Vim/Neovim