Distinguished Artifact Award

Elias Castegren (post-doc researcher in David Broman’s group) and his colleague Kiko Fernandez-Reyes from Uppsala received a distinguished artifact award at the ACM SIGPLAN International Conference on Software Language Engineering (SLE) two weeks ago for their...

New VR Grant for a CASTOR Researcher

Cyrille Artho has received a new VR grant for his project TEMOS (Temporal monitoring of smart contracts). Smart contracts are computer programs which execute on top of blockchains to manage the flow of funds, exchange of assets, and transfer of digital rights between...