Abdullah - Systems Engineer Portfolio
$
whoami
Abdullah
- role
- MEng student at MIT CSAIL (MATCHA Lab). Formal verification of out-of-order RISC-V. Previously: R&D at Siemens EDA.
- education
- MIT CS + Math, MEng in progress.
- interests
- computer architecture, hardware/software co-design, formal methods, security.