Philipp Rümmer receives academic grant from the Ethereum Foundation
Philipp Rümmer, Associate Professor at the Department of Information Technology, Division of Computer Systems, has received a grant from the Ethereum Foundation under the 2025 Academic Grants Round for the project "Lazy Int-Blasting Techniques for Bit-Vector Reasoning".
The grant will be used to develop improved methods for reasoning about complex bit-vector constraints in smart contracts running on the Ethereum blockchain, making it possible to discover bugs or security vulnerabilities in smart contracts before they are deployed.