- studying computer science and pure math at the University of Washington
- spending most of my time programming and doing math
- TA for CSE 12x for 3 quarters
- Working on MMIDAS a multi-arm variational autoencoder at the Allen Institute for Brain Science
- Working on Cornbear a fully-functional autograder for UW's intro programming sequence
- research interests: using type theory + functional programming to solve mechanistic interpretability
- open to: swe internships and fulltime positions
- and here's my github
- email me at hmufti@cs.washington.edu or hilalmufti1@gmail.com