Author

Jacob Ginesin

Jacob Ginesin is an undergraduate studying computer science at Northeastern University and a researcher in the NDS2 Lab. His research focuses on formally verifying critical systems and infrastructure.


Blog home


Top