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, DSLs, and cybersecurity in general! I also like identifying plants, anime, and liberating myself from proprietary software.
I'm currently trying out Qubes OS to see if it can replace my current workflow of dual booting Endeavour OS and Kubuntu. After that, I'll be installing Openwrt on my router.
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 (WIP)
What I'm reading
Hopefully this list will be longer as well!
- Botany in a Day by Thomad J. Elpel
Favorite Youtubers
- Crime Pays But Botany Doesn't: For Humorous Videos Concerning Horticulture
- Mental Outlaw: For Cyber News and Guides
- Eric Parker: For Malware Analysis in the Wild!
- Fireship: For light hearted content relating to Software Engineering (though it's mostly AI now)
- John Hammond: Also Cyber News and Guides, though longer form
- Matt Brown: Easy to follow videos concerning IOT Hacking
- SavvyNick: For Linux News
Recommended Software
- Youtube -> Invidious/Newpipe
- Youtube Music -> Self Hosted Navidrome + Symphonium
- Gmail -> Proton Mail
- ChatGPT -> Duck AI
- NordVPN -> Mullvad VPN
- Chrome Browser -> Brave Browser
- Linux -> QubesOS (hopefully)
- Find My Friends -> Self Hosted Owntracks
- Twitter -> Mastodon
- Whatsapp -> Signal
- VSCode -> Vim/Neovim