twicek

I have a background in subatomic physics, which gave me a solid foundation in applied maths. After my master’s degree, I transitioned to becoming an independent security researcher, auditing smart contracts among other things. While I explored different fields, I’m now focusing more on smart contract auditing and keep improving my skills, including learning to use Certora’s formal verification tool.