Formal Verification Student at Intel | Standout | Standout