I worked in the Web3 space for more than 2 years. I worked with Ethereum & NEAR, Avalanche, EOS/WAX and Everscale (TON) using Solidity, Rust and TypeScript/JavaScript. Moreover, I have worked for more than 10 years in private industry in different roles, as Software Engineer, Network Administrator and Freelance Developer.

I have a Ph.D. in Informatics at the Università della Svizzera italiana, Switzerland. The topic of my Ph.D. was empirical studies on programming languages. Its main goal was to understand how and why programming features are being used in the wild.

• 🔭 TypeScript/JavaScript, Rust & Solidity

  

  Note This does not indicate skill level; it's a metric to determine which languages have the most code on GitHub.

• 🔭 Web3, Smart Contracts, Ethereum & EVM-based blockchains

• 🔭 Partial & Symbolic Evaluation, Supercompilation

• 🔭 Static & Dynamic Analysis

• 🔭 Education in Computer Science

• 🎓 Ph.D. in Computer Science, 2013-2019, Università della Svizzera italiana, Switzerland. Programming languages research in Java, Scala and Haskell, runtime systems and virtual machines with C++, software verification, data analysis using R and Python.

• 🎓 Licenciate in Computer Science, 2007-2011, University of Buenos Aires, Argentina. This degree is considered by many institutions as being equivalent to an M.Sc. degree.

• 🎓 Internship & Master Thesis, 2011, INRIA/University of Strasbourg, France. Worked on VMAD, "A Virtual Machine for Automatic Program Parallelization"

• 🎓 Computer Analyst, 2003-2006, University of Buenos Aires, Argentina. This is a 3 years degree as part of the Licentiate in Computer Science programme.