My name is Andrea Micheli, I am a post-doc researcher in Artificial Intelligence Planning and Temporal Reasoning at the Embedded Systems unit in Fondazione Bruno Kessler.
I currently work on temporal planning in presence of temporal uncertainty and continuous resources, and I am one of the leaders of the open-source PySMT project.
My primary interests include Artificial Intelligence Planning in Continuous Domains and Temporal Reasoning Under Uncertainty. I focused my research on the study of temporal uncontrollability in planning and I'm currently developing planning systems that take into account these aspects while reasoning.
I am also interested in Satisfiablility Modulo Theory especially in Linear and Non-linear Real Arithmetic and Quantified Theories as an enabling technology for my planning research.
I am still involved in the development of NuSMV, hence I am interested in Formal Verification in general and Model Checking in particular.
My PhD thesis titled "Planning and Scheduling in Temporally Uncertain Domains" has been successfully defended at the University of Trento, Italy on January, 19th 2016.
The thesis won the following awards and recognitions:
The thesis and the relative additional materials are available from the buttons below.