Benjamin Greenwald

Currently, I am working at RoonCyber as a Senior Security Researcher.

Previously, I was at Certora building formal verification technology for smart contracts. I have been an Engineering Lead at Lambda, building a software development team from scratch to build software support infrastructure around Deep Learning. Before that, I was Director of Software Engineering at Veracode, developing our cloud native SaaS whole program application security analysis products.

I was a graduate student in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, and a member of the Computer Science and Artificial Intelligence Laboratory. My graduate work was on the RAW project with Professor Anant Agarwal and the members of the Computer Architecture Group.

Resume

Click here for my resume in HTML format.

Click here for my resume in PDF format.


Papers


Ways to reach me:

Snail Mail:
Benjamin Greenwald
10 Pamela Road
Framingham, MA 01701
Phone:
(617) 448-8565
Email:
ben@cabbagesandkings.net