Philipp Rümmer får akademiskt stipendium från Ethereum Foundation
Philipp Rümmer, docent vid Institutionen för informationsteknologi, avdelningen för datorteknik, har fått ett stipendium från Ethereum Foundation inom ramen för 2025 Academic Grants Round för projektet ”Lazy Int-Blasting Techniques for Bit-Vector Reasoning”.
Stipendiet kommer att användas för att utveckla förbättrade metoder för resonemang om komplexa bitvektorvillkor i smarta kontrakt som körs på Ethereum-blockkedjan. Detta gör det möjligt att upptäcka buggar eller säkerhetsproblem i smarta kontrakt innan de lanseras.