Matteo Marescotti

Matteo Marescotti
PhD Candidate

Address:
Università della Svizzera Italiana Stabile Informatica, Office 200 (Level 2) Via Giuseppe Buffi, 13 CH-6904, Lugano, Switzerland
Email:
matteo.marescotti[at]usi.ch
Websites:

USI linkedin DBLP

Last edit:

About me

I am a PhD student at the Faculty of Informatics of Università della Svizzera Italiana. I am a member of the Formal Verification and Security Lab.

My research interests involve the parallelization of SMT solving. I am working on the development of a framework for extensive parallel SMT-based model checking.

During my master's studies I worked on bioinformatics improving the compression and search algorithms used to analyze biological sequences.

Education

PhD Candidate in Computer Science

Università della Svizzera italiana. Lugano, CH

Project SNF 153402: Harnessing Parallel Computing for Model Checking funded by the Swiss National Science Foundation.

MSc in Computer Science

Università del Piemonte Orientale. Alessandria, IT・

Thesis: Algoritmi semi-external per la costruzione di Suffix Array e Burrows-Wheeler Transform di grandi collezioni di documenti e biosequenze.

The optimization and extension of bwte by harnessing parallel computing, computing the SA (Suffix Array), and adding the possibility to compute the BWT (Burrows Wheeler Transform) and the SA of large collections of files (e.g. biosequences collections). The thesis is available only in italian language.

BSc in Computer Science

Università del Piemonte Orientale. Alessandria, IT・

Thesis: Progettazione e implementazione di un servizio web di gestione e fidelizzazione clienti.

The development of a multi-user web application to promote the CRM (Customer Relationship Management) of multiple companies. The application has been sold and it's still in use (authorized access only).

Academic Experience

Talks and Presentations

Visualising SMT-Based Parallel Constraint Solving [6]
SMT 2017: 15th International Workshop on Satisfiability Modulo Theories. , Heidelberg, DE
Clause Sharing and Partitioning for Cloud-Based SMT Solving [5]
ATVA 2016: 14th International Symposium on Automated Technology for Verification and Analysis. , Chiba, JP
Clause Sharing and Partitioning for Cloud-Based SMT Solving
SMT 2016: 14th International Workshop on Satisfiability Modulo Theories. , Coimbra, PT
Combining parallel techniques for Cloud-Based SMT Solving [3]
PhD-iFM 2016: PhD Symposium on Formal Methods: Algorithms, Tools and Applications. , Reykjavik, IS
Search-Space Partitioning for Parallelizing SMT Solvers [2]
MEMICS 2015: 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. , Telč, CZ

Academic Courses and Summer Schools

Network Programmability: Emerging methodologies, technologies, and applications
Lipari School, Lipari, IT
12th Summer School on Modelling and Verification of Parallel Processes
Università degli Studi di Genova, Genova, IT
International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning
Instituto Superior Técnico, Lisbon, PT
Verification and Synthesis of Correct and Secure Systems
International Summer School Marktoberdorf, Marktoberdorf, DE

Student grant awarded by The NATO Science for Peace and Security Programme.

5th SAT/SMT Summer School
Stanford University, Stanford, US
Spring 2015
Computer Aided Verification
Università della Svizzera italiana, Lugano, CH

Teaching Assistance

At Università della Svizzera italiana:

Spring 2017
Theory of Computation
Fall 2016
Data Management
Spring 2016
Theory of Computation
Computer Aided Verification
Fall 2015
Fundamentals of Informatics

Sub-reviewer

Publications

  1. Matteo Marescotti, Arie Gurfinkel, Antti E. J. Hyvärinen, Natasha Sharygina.
    Designing Parallel PDR.

    In FMCAD 2017.
  2. Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina.
    Visualizing SMT-Based Parallel Constraint Solving.

    In SMT 2017.

  3. Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina.
    Clause Sharing and Partitioning for Cloud-Based SMT Solving.
    In ATVA 2016: Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, vol. 9938. Springer. 428–443.
  4. Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina.
    OpenSMT2: An SMT Solver for Multi-Core and Cloud Computing.
    In SAT 2016: Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science, vol. 9710. Springer. 547–553.
  5. Matteo Marescotti.
    Combining parallel techniques for Cloud-Based SMT Solving.
    Technical Report. PhD-iFM 2016. Reykjavik University, Reykjavik, IS.

  6. Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina.
    Search-Space Partitioning for Parallelizing SMT Solvers.
    In SAT 2015: Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science, vol. 9340. Springer. 369–386.
  7. Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina.
    Search-Space Partitioning for Parallelizing SMT Solvers.
    In MEMICS 2015: Proceedings of the Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno University of Technology. 92–93.