Core team developer at MultiversX for the past 5 years, where I’ve helped create a new smart contract virtual machine technology, (almost) from scratch. Also the author of our Rust development & testing framework, which I still keep evolving & reinventing every few months.
Very keen about formal modelling and verification; I am constantly trying to discover new programming techniques and to bring them to a wider audience.
Extremely passionate about music (including but not limited to the extreme variety); into singing, keyboards, drumming & composition, as well as all other endeavors into the human mind.