Giter VIP home page Giter VIP logo

Hi there, I'm Luis

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.

Interests

  • 🔭 TypeScript/JavaScript, Rust & Solidity

    Most Used Languages

    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

Education

  • 🎓 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.

Currently Working On

Readme Card Readme Card

Luis Mastrangelo's Projects

4byte icon 4byte

Generates 4bytes selector database

chsc icon chsc

The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"

contract-dataset icon contract-dataset

Fetches Sepolia contract dataset bytecodes into a dataset useful for bytecode analysis

evm icon evm

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

gtm icon gtm

Simple, seamless, lightweight time tracking for Git

gtm-web icon gtm-web

The Git Time Metric Dashboard is a reporting application to visualize Git Time Metric time data.

hsc icon hsc

The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.

jnif icon jnif

The Java Native Instrumentation Framework, JNIF, is the first native Java bytecode rewriting library. JNIF is a C++ library for decoding, analyzing, editing, and encoding Java bytecode.

maven-repo icon maven-repo

A Dataset and Analysis Framework for the Maven Repository

mavends icon mavends

MavenDS: An Analysis Framework for the Maven Repository

near-syn icon near-syn

near-syn is a tool to generate TypeScript bindings and Markdown docs from Rust contracts for the NEAR protocol.

solidity-bootcamp icon solidity-bootcamp

The Solidity Bootcamp is an intensive course to become a Solidity & Smart Contract Developer. This is part of EPAM's Learning & Development Program.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.