Hi, I'm Hizbullah. I'm interested in formal verification in general, especially those based on type theory. Currently, I'm working on my Master's thesis at the Programming Systems Lab.
