Mate Soos
Mate Soos works on software security, privacy and formal methods. His Ethereum-related work includes fuzzing the Solidity compiler and using symbolic execution to analyze smart contracts, alongside research into SAT solving and model counting.