About Me

A good friend of mine once told me "Sky is the limit, buddy". That's the best motivational sentence I've ever heard, but I strongly believe that no limit is too high when you deeply love what you do. This is what I feel about computer science. I am an enthusiastic software engineer passionate about technologies and always seeking for new tough goals to achieve and stars to reach for.

I earned my MSc in Padua and I've been an Erasmus student in Belgium, at KU Leuven. I realized that the highest results are reachable only as long as you are part of a team. That might not be the fastest way, but you'll never get to the top on your own.

My academic path focused on the design of reliable, safe, and secure systems as well as on the software running on them. I can program in many languages, including, but not limited to, C, C++, Java, Scala, JavaScript, Haskell, and Solidity. I am passionate about what's under the hood of programming, with special interests on its formal and verification aspects.

Career

"Success is the ability to move from one failure to another without loss of enthusiasm."

- Winston Churchill

Kynetics LLC

Developing embedded, desktop and web applications, Dockerizing as mush as possible

Apr. 2019
Software Engineer

Akka Technologies

Graduate consultant in the field of software engineering.

Jan. 2019 - Apr. 2019
Graduate Software Engineer

Graduation

I earned an MSc in Computer Science at Università degli Studi di Padova (Italy).

Sep. 2018
Student

Erasmus

I've been an Erasmus student at KU Leuven for 5 months (Sept 2017 - Feb 2018). I deepened my knowledge about software design.

Sep. 2017 - Feb. 2018
Erasmus Student

MSc

I started my MSc in Computer Science at University of Padua, minors in "Design of reliable systems" and "Software".

Sep. 2016
Student

Graduation

I earned a BSc in Computer Science after attending Università degli Studi di Padova (Italy).

Sep. 2016
Student

Athesys SRL

I worked at Athesys SRL as an internship for my Bachelor's thesis. I learned how to use the MEAN stack to develop the backend part of a web application.

May 2016 - July 2016
Software Engineer

CNR - Institute of Biomedical Engineering

I worked at CNR for two months as an internship. I developed a basic content management system based on HTML, PHP, MySQL and JavaScript.

June 2012 - July 2016
Programmer

Projects

LispKit parser

Parser for LispKit's grammar developed in Haskell.

Haskell Secure Library

Library to ensure information security properties on Haskell applications. The paper titled "Ensuring Information Security By Using Haskell's Advanced Type System" is based on it.

...   ...

Forza e Coraggio

Full accessible ('AAA' WCAG rating) developed as a final project for the course "Web Technologies" at Università degli Studi di Padova. I developed the backend part, using XML for storing information and Perl to serve dynamic web pages.

...   ...

Actors Model in Java

Mock system that abstracts a simplified implementation of the actor model developed in Java. This project was undertaken as part of the "Distributed and Concurrent Programming" course at the Università degli Studi di Padova.

...   ...

LinQedIn

Small LinkedIn-like social network developed (in Qt/C++) as part of the "Object-Oriented Programming" course at Università degli Studi di Padova. It offers simple client as well as admin functionality.

...   ...

QuizFight

Round-based trivia quiz application for Android making use of a Node.js server to handle rounds, questions and scores. The application could connect with Facebook and Google Play Services to support achievements, rankings, and matches against friends.

...   ...

Writings

"Connaître, découvrir, communiquer - telle est, au fond, notre honorable destinée."

- François Arago

Publications

  • Matteo Di Pirro, Mauro Conti, and Riccardo Lazzeretti. Ensuring Information Security By Using Haskell's Advanced type System. Proceedings of The 51st International Carnahan Conference on Security Technology. [pdf]
  • Silvia Crafa, Matteo Di Pirro, Elena Zucca. Is Solidity Solid Enough? Proceedings of The 3rd Workshop on Trusted Smart Contracts. [pdf]
  • Silvia Crafa, Matteo Di Pirro. Solidity 0.5: when typed does not mean type safe. Technical Report. arXiv:1907.02952. July 2019. [pdf]

Thesis

  • Matteo Di Pirro. How Solid is Solidity? An In-depth Study of Solidity's Type Safety. Master's Thesis - Computer Science - Department of Mathematics - Università degli Studi di Padova. [details]

Talks

"I love to talk about nothing. It's the only thing I know anything about."

- Oscar Wilde

Contact me

Read my CV

This might not be up-to-date or not contain exhaustive descriptions of my activities. Refer to my LinkedIn profile for further and up-to-date information.


© 2019 Matteo Di Pirro