Michele Dallachiesa

PhD candidate

University of Trento
DISI - Department of Information Engineering and Computer Science
Database and Information Management Group

Quick information

Email	dallachiesa at disi dot unitn dot it
Address	DISI - University of Trento - Via Sommarive 14 - 38123 Povo, TN, Italy
Web page	http://disi.unitn.it/~dallachiesa/

Short bio

Michele Dallachiesa is a PhD candidate at the University of Trento, Italy. He received his BSc and MSc in Computer Science from the University of Trento. During his MSc, he was also a Research Fellow at the machine Learning and Intelligent OptimizatioN (LION) Group working on reputation systems for sensor networks. He is Co-Founder of the Reactive-Search company, working on the visualization of the internal dynamics of modern SAT solvers and collaborating with Microsoft Research Cambridge on their parallel SAT solver (manySAT). He is currently a member of the Database and Information Management Group (dbTrento) at the University of Trento. His research interests are in processing and analysing streaming data in real time, including frequent items discovery in Data Streams, sketching of Time Series and pattern matching for Uncertain Streaming Time Series.

Reviewing activities

He served as reviewer for prestiguous international conferences including ICDE, VLDB, SIGMOD, and MDM, and for the Information Systems (IS) journal.

Software

Time series

Visualization

satvizMS10.tgz
Determine the Variable Interaction graph and the Resolution graph of SAT instances. Graph drawing provided by GraphViz. This software have been used to analyze at runtime the internal dynamics of ManySAT, a portfolio-based parallel SAT solver.

Networking and security

These tools are completely unrelated to my research activity. I wrote them for fun during my undergrad/grad studies. Surprisingly, they started to be used to teach the insecurity of commonly adopted technologies, cited in technical reports and included in larger opensource projects.

Publications

Similarity Matching for Uncertain Time Series: Analytical and Experimental Comparison
Michele Dallachiesa, Besmira Nushi, Katsiaryna Mirylenka, Themis Palpanas
ACM SIGSPATIAL International Workshop on Querying and Mining Uncertain Spatio-Temporal Data (QUeST), in conjunction with ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (GIS), Chicago, IL, USA, November 2011.
Reconstructing curves from sparse and noisy data through Reactive Search Optimization techniques
Master Degree Thesis, supervisor Prof. Roberto Battiti, Trento, Oct 2009.
Riconoscimento ed analisi del traffico Voice over IP
Bachelor Degree Thesis, supervisor Prof. Mauro Brunato, Trento, March 2006.