Brock Elmore
Brock Elmore developed Pyrometer, a Solidity security tool that analyzes the possible values variables can take as a contract runs. Using abstract interpretation and range analysis, it helps developers investigate access-control problems and the conditions that allow contract state to change. Elmore has served as chief architect at Nascent and contributed to the Foundry development toolkit.