Matteo Ceccarello

Transcript

Matteo Ceccarello
Matteo
Ceccarello
via degli Olmi, 1 Abano Terme (PD) 35031
H +39 334 310 34 67
B [email protected]
Í http://www.dei.unipd.it/∼ceccarel
Personal Information
First name
Last name
Birth date
Nationality
Address
Mobile
email
Personal site
LinkedIn
Matteo
Ceccarello
24 - 06 - 1989
Italian
via degli Olmi, 1 Abano Terme (PD) 35031, Italy
+39 334 310 34 67
[email protected]
http://www.dei.unipd.it/∼ceccarel
http://it.linkedin.com/pub/matteo-ceccarello/60/322/931/
Education
2011 - 2013 M.S., University of Padova, Padova, 110/110 cum laude.
Master of Science in Computer Engineering
April 2013 SWEB, University of Glamorgan, Cardiff (UK).
LLP Erasmus Intensive Programme in “Secure Web Applications:
Best Practices for Protection and Development”
2008 - 2011 B.S., University of Padova, Padova, 109/110.
Bachelor of Science in Information Engineering
Awards
2012 Most impacting work on JPF, JPF Workshop ACM ASE,
Cary (NC).
Award for the paper: Ceccarello, Shafiei: “Automated generation
of model classes for Java PathFinder”
Experience
2014 - PhD student, University of Padova, Padova.
December Research on parallel and distributed graph algorithms, under the
2016 supervision of Professor Andrea Pietracaprina
(expected)
1/3
2011 - 2014 WebQual research group, University of Padova, Padova.
Working in the Web Quality research team. The goal is to perform
a crawl of the Italian web in order to test and compare different
ranking algorithms.
November Speaker, JPF Workshop IEEE FSE 2013, Palo Alto (CA).
2013 Present the paper “Automated generation of model classes for Java
PathFinder”.
May 2013 - Google Summer of Code 2013.
August 2013 Development of a tool to automatically generate model classes with
behaviour for NASA Java PathFinder. The tool is described in the
paper “Automated generation of model classes for Java PathFinder”.
November Speaker, JPF Workshop ACM ASE 2012, Cary (NC).
2012 Present the paper “Tools to generate and check consistency of model
classes for Java PathFinder”.
May 2012 - Google Summer of Code 2012.
August 2012 Development of tools for NASA Java PathFinder. These tools
are used to generate model classes stubs and to check existing
ones. They are described in the paper “Tools to generate and check
consistency of model classes for Java PathFinder”.
Languages
Italian Native speaker
English Professional
Computer skills
Programming Scala, Java, Python, Clojure, C++, Haskell, Bash
languages
Operating Linux, Windows, MacOS X
Systems
Interests
I play piano from the age of 10, sing in two choirs, dance
argentine tango and play the bandoneon.
Publications
2015 Ceccarello, M., Pietracaprina, A., Pucci, G., and Upfal,
A Practical Parallel Algorithm for Diameter Approximation
of Massive Weighted Graphs. Arxiv 1506.03265.
2/3
2015 Ceccarello, M., Pietracaprina, A., Pucci, G., and Upfal, E.
Space and Time Efficient Parallel Graph Decomposition, Clustering, and Diameter Approximation. Proceedings of the 27th
ACM on Symposium on Parallelism in Algorithms and Architectures (SPAA) 2015.
2015 Matteo Ceccarello and Francesco Silvestri. Experimental Evaluation of Multi-Round Matrix Multiplication on MapReduce.
Proc. of 17th SIAM Meeting on Algorithm Engineering &
Experiments (ALENEX) 2015.
2013 Matteo Ceccarello and Oksana Tkachuk. Automated generation of model classes for Java PathFinder. ACM SIGSOFT
Software Engineering Notes, 39 (1):1-5, 2014
2012 Matteo Ceccarello and Nastaran Shafiei. Tools to generate
and check consistency of model classes for Java PathFinder.
ACM SIGSOFT Software Engineering Notes, 37 (6):1-5, 2012
3/3

Documenti analoghi

Alessandro Bruni - Hoheinzollern

Alessandro Bruni - Hoheinzollern Starting from the theoretical results in literature and from an existing tool for ordinary Petri nets, the aim of this work is to design and implement an algorithm for the construction of the compl...

Dettagli