| user | humam_alhusaini |
| created | Jan 21, 1970 |
| karma | 5 |
| about | Undergraduate pursuing computer science at the University of Texas at Dallas. I'm interested in using programming languages to prove theorems. Humam.Alhusaini@UTDallas.edu |
| user | humam_alhusaini |
| created | Jan 21, 1970 |
| karma | 5 |
| about | Undergraduate pursuing computer science at the University of Texas at Dallas. I'm interested in using programming languages to prove theorems. Humam.Alhusaini@UTDallas.edu |