
mikand.net
Andrea Micheli :: Personal WebsiteMy 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. In the past, I worked in the field of Formal Verification, first as a developer of the NuSMV. Model checkers and later in the development of the KRATOS. 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. In general and Model Checking.
http://www.mikand.net/