Marco

Tinacci

6a Hargrave Park, N19 5JL, London • +44 757 2248207 • tinacci.marco@gmail.com

I am a computer scientist with 7 years of practical experience across software engineering, backend development, and DevOps. Always eager to learn and to improve my skills, my academic background in computer science gives me strong foundations to have a high level understanding of software products, and to be able to design and implement new intellectual property.

Experience

Lead Software Engineer

Nationwide Building Society
December 2018 - Present
Terraform
AWS
Kubernetes
GitLab CI
Golang
Neo4j
ArgoCD
Datadog
Helm
MongoDB

  • Responsible of DevOps and microservice infrastructure in Kubernetes, Terraform, and AWS
  • Developed backend, infrastructure and deployment cycle of a green field mobile application for first-time homebuyers https://www.hearth.co.uk/
  • Led and developed green field MVPs, like https://www.thelandlordworks.co.uk/
  • Designed and implemented an intellectual property algorithm to sort properties in London by best commute time
  • Hire selection and mentoring of new developers

Full Stack Developer

Ems.ai
May 2018 - November 2018
IBM Cloud
Watson AI
Machine Learning
Rest API
Docker
Python
NetworkX
Flask
OpenAPI
CouchDB

  • Managed the backend infrastructure, and worked with both NoSQL and SQL databases
  • Designed and implemented an engine to compute commute times on TFL data
  • Implemented ETL pipelines, web scrapers, and ML image classifiers
  • Implemented Rest APIs in coordination with the Vue frontend, and documented with OpenAPI and Swagger

Backend Developer

Witapp SRL
October 2017 - April 2018
GCloud
AWS
Docker
Rest API
Swagger
Kubernetes
RabbitMQ
PostgreSQL
React
Python

  • Responsible of the backend infrastructure of multiple projects on different cloud providers
  • Implemented and maintained a microservice infrastructure on Kubernetes
  • Mentored and managed team of developers

Backend Developer

Balzo
September 2016 - September 2017
AWS
GCloud
Heroku
Flask
Django
Kubernetes
Python
PostgreSQL
PHP
CodeIgniter

  • Responsible of deployment and integration of backend application over different cloud providers
  • Lead backend developer in a team dedicated to rapid prototyping and MVPs
  • Continuous communication with my colleagues to align and agree on REST APIs design for mobile applications

Doctoral Research Assistant

IMT School for Advanced Studies Lucca
February 2013 - August 2016
Model Checking
Formal Methods
Network Theory
Game Theory
Python
Java
Matlab
NetworkX
Optimization
Model Predictive Control

  • Research on model checking and formal methods as a PhD student
  • My studies involved also topics like game theory, model predictive controls, optimization problems, cloud computing, distributed and parallel programming
  • Developed some compilers to implement my own programming languages using Xtext and Eclipse in Java
  • Analyzed banks lending networks with NetworkX
  • Joined the MOVES team as visiting PhD student at the RWTH Aachen University, Germany
  • Presented at MOVEP 2014: 11th Summer School on Modelling and Verification of Parallel Processes, École Centrale de Nantes, France
  • Participated to AWASS 2013: 2nd Awareness Summer School

Software Developer

Vivido SRL
April 2006 - June 2006
C#
Visual Studio
Microsoft SQL

    Education

    M.S. in Computer Science

    Università degli Studi di Firenze

    GPA: 4.0

    • Advanced Programming
    • Software Testing and Verification
    • Quantitative Analysis of Systems
    • Algorithms for Computer Networks
    • Neural Networks
    • Approximation Methods
    • Analysis of Algorithms and Data Structures
    • Probabilistic Methods for Finance
    December 2009 - December 2012

    B.S. in Computer Science

    Università degli Studi di Firenze

    GPA: 4.0

    • Java
    • Algorithms
    • Data Structures
    • Programming Methodologies
    • Software Engineering
    • Operative Systems
    • Numerical Analysis
    • Computer Networks
    • Statistics
    • Databases
    • Concurrent and Distributed Programming
    • Linear Algebra
    • Differential and Integral Calculus
    December 2005 - December 2009

    Skills

    Computer Science
    • Game Theory
    • Model Checking
    • Model Predictive Control
    • Optimization
    • Machine Learning
    • Artificial Intelligence
    • Formal Methods
    Programming Languages
    • Python
    • Golang
    • Java
    • C++
    • Bash
    • Matlab
    Frameworks
    • Django
    • Flask
    • Golang Echo
    Libraries
    • React
    • NetworkX
    • Xtext
    Web APIs
    • REST
    • GraphQL
    Operative Systems
    • Linux
    • Windows
    • MacOS
    DevOps
    • Terraform
    • Kubernetes
    • Helm
    • AWS
    • Docker
    • Git
    • GCloud
    • Heroku
    CI/CD
    • ArgoCD
    • Jenkins
    • Github Actions
    • GitLab CI
    • Codeship
    Databases
    • MySQL
    • PostgreSQL
    • Neo4j
    • Miscrosoft SQL Server
    • MongoDB
    • CouchDB
    • Redis

    Interests

    Cinema
    Photography
    Boardgames
    Videogames
    Coding
    Coffee

    Certifications