Skip to content
View tontonialberto's full-sized avatar
🤩
🤩

Highlights

  • Pro

Block or report tontonialberto

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
tontonialberto/README.md

Alberto Tontoni

PhD Candidate at the University of Bergen (UiB) 🇳🇴

Research: Programming Language Standardization and Language Engineering

Labs: Programming Theory Group (PUT) & Bergen Language Design Lab (BLDL)

📄 View my Academic CV


Engineering & Research

My work focuses on the connection between language specifications and the tools used to support their maintenance:

  • I use JetBrains MPS to build language workbenches.

  • I have contributed to the ECMA-262 (JavaScript) specification by finding and fixing 70+ inconsistencies in notation within the specification document.

I also have 2+ years of experience in the IoT Software Engineering Industry, developing and maintaining IDE extensions, RESTful services, and RTOS-based firmwares for embedded systems:

  • In IoT Catalyst, I developed IoT Catalyst DevOps, a VS Code Extension which includes XML/Python parsing and code generation.

  • In IoT Catalyst, I developed the Iot Catalyst Automation Service, a Python RESTful API capable of sending commands to a remote fleet of edge devices, collecting results, and generating detailed reports.

  • In Sensoworks, I developed the firmware for the Smart Waste Management system, a RTOS-based microcontroller firmware interfacing with several sensors and a mobile network connectivity module.


Side Projects & Passions

In my spare time, I combine my passions for salsa dancing and programming to develop tools for dance instructors and students.

I see dance as a perfect mix of creativity and logic. While creativity is (hopefully) spontaneous, I believe that formalizing the logical patterns of dance could help us understanding its principles and improving how we learn and teach.

  • SalsASTep: A Language Workbench to define structured salsa footwork courses.
  • Dance-classifier: A Machine Learning approach to classify salsa and bachata dance videos.

🌐 Contact

Pinned Loading

  1. SalsASTep SalsASTep Public

    Language workbench for a Domain-Specific Language aimed at expressing Salsa dancing footwork.

    JetBrains MPS

  2. ecma262-spec-inconsistencies ecma262-spec-inconsistencies Public

    TypeScript 2

  3. tic-tac-toe tic-tac-toe Public

    Python

  4. dance-classifier dance-classifier Public

    Progetto per l'esame di Machine Learning presso l'Università Roma Tre.

    Jupyter Notebook

  5. arm-programming arm-programming Public

    Codes written in order to learn and improve my skills on embedded C programming of ARM Cortex-M microcontrollers.

    C 1

  6. advanced-topics-cs advanced-topics-cs Public

    Assignments for the "Advanced Topics in Computer Science" course University of Roma Tre, 23/24

    Python