Hello! I’m Humam Alhusaini, an undergrad at the University of Texas at Dallas who’s currently working at the Software Languages Squared Lab under Dr. Hamlen. My current work is directed towards developing a way to use SMT solvers to assist proof co-development for machine code.

More to come..