🌱 I’m currently learning about formal methods and software verification with the Coq proof assistant from Software Foundations ( SF ) and applications to verified hardware, software, and distributed systems.
I am currently working as a ML/SWE intern at Structify , and formerly worked at Amazon Web Services as a SWE intern in Lab126 @ AWS HWEngS.