I am a software engineer and researcher in Computer Science, with previous academic experience at top-ranked universities and award winning publications in the fields of Distributed Computing and Formal Methods (h-index: 8). I am currently working as a blockchain protocol engineer, helping the Tezos blockchain to achieve massive scalability. I am a functional programming advocate, with commercial experience in Scala, Ocaml, Elixir. I also have commercial experience in Python and Typescript, and I am familiar with other programming languages such as C, Java, Javascript, Php. I hold three AWS certifications - AWS Certified Solutions Architect: Associate, AWS Certified Developer: Associate and AWS Sysops Administrator: Associate. I have a strong knowledge of Computer Science fundamentals, including concurrency and data structures. I am passionate about solving challenging problems and automating their solutions. I have experience in mentoring young researchers and engineers. I also have experience as a communicator, with talks at several international conferences.