I work as a Research Engineer at the Theoretical Computer Science division focusing on smart contract repair.
