jubnzv

I'm a software engineer with background in compilers and program analysis.

For the last two years I have been closely involved in blockchain and cryptocurrencies. My main interests are related to the audit of smart contracts, the development of languages and tools for automated code analysis. I can quickly figure out a new platform and language, but I'd rather work with something popular like EVM/Solidity.