Alessandro Cimatti
Researcher
Automated Verification and Synthesis Group
Automated Reasoning Systems Division (SRA)
IRST - Istituto per la Ricerca Scientifica e Tecnologica
Loc. Pante', Povo, 38050, Trento, Italy.
Phone: +39 0461 314 320
Fax: +39 0461 302 040 / 314 591
Email: cimatti@fbk.eu
Areas of Interest
- Formal Verification of Industrial Critical Systems
- Symbolic Model Checking (BDD-based, SAT-based, Bounded Model Checking)
- Decision procedures and their application to formal verification
- Planning in Nondeterministic Domains via Symbolic Model Checking
- Safety Analysis, Diagnosability, Diagnosis
Software
Professional Activities
-
PC member of FMCAD'06,
November 12-16, San Jose, California, USA
-
PC member of SAT'06,
August 12-15, Seattle, Washington, USA
-
PC member of ECAI'06,
August 28th - September 1st 2006, RIVA DEL GARDA, Italy.
-
PC member of ICAPS'06,
June 6-10, 2006, the English Lake District, Cumbria, UK.
-
PC member of
PDPAR'06, August 2006, Seattle, USA.
-
Co-organizer of the SFM-06:HV school on Hardware
Verification, Bertinoro, Italy, May 2006
-
PC member of TACAS'06, March 25
- April 2, 2006, Vienna (Austria)
-
PC member of
CAV'05, July 6 -- 10, 2005
The University of Edinburgh, Scotland, UK
-
PC member of
AAAI'05, July 9-13, 2005, Pittsburgh, Pennsylvania
-
PC member of
SAT'05, St. Andrews, Scotland,
June 19th-23rd 2005
-
PC member of BMC'05, the
third International Workshop on Bounded Model Checking
11 July, 2005, Edinburgh, Scotland, UK
-
PC member of the IJCAI'05
Workshop on Planning and Learning in A Priori Unknown or Dynamic Domains, August 1, 2005, Edinburgh, Scotland
-
PC member of the AAMAS'05
Workshop on Declarative Agent Languages and Technologies
, Utrecht, the Netherlands, 25 July 2005
-
PC member of the IBM
Verification Conference, November 13-16, 2005, Haifa, Israel
-
PC member of the Interational Workshop on the Implementation of Logics
, Montevideo, Uruguay, 13 March, 2005
-
PC member of the Third workshop on Model Checking and Artificial Intelligence
(MoChArt'05), Lyon, France - July 22/23, 2002
-
PC member of SwSTE'05, 22-23 February 2005, Daniel Hotel Herzlia, Israel
-
Co-organizer of PDPAR'05, July 12, 2005,
Edinburgh, Scotland, UK.
-
PC member of ICAPS'05, June
5-10 2005, Monterey, California, U.S.A.
-
PC member of ICAPS'04
Whistler, British Columbia, Canada, June 3-7 2004
-
PC member of BMC'04, the
second International Workshop on Bounded Model Checking
July 18, 2004, Boston, Massachusetts, USA
-
PC member of the AAMAS'04
Workshop on Declarative Agent Languages and Technologies
, New York, July 19, 2004
-
Invited Lecturer at the Tutorial Workshop Advances in Model Checking, Mumbai, December 14, 2003.
-
PC member of CONCUR'03, September 3-5,
2003, Marseille, France
-
PC member of ICAPS'03,
June 9-13 2003, Trento (Italy)
-
PC member of BMC'03,
the First International Workshop on Bounded Model Checking, 13 July, 2003,
Boulder, Colorado, USA
-
Co-organizer of the International
Summer School on AI Planning, Madonna di Campiglio, Trento, Italy,
June 14-20, 2003
-
PC member of MoChArt-2003, the
IJCAI'0s affiliated International Workshop on Model Checking and Artificial
Intelligence, Acapulco, Mexico, August 2003
-
Invited lecturer at the SFM-02:MC International
School on Formal Methods for the Design of Computer, Communication and
Software Systems: Model Checking,
Bertinoro, Italy, 9-14 September 2002.
-
Member of the scientific committee of theMOVEP'02 summer school, Nantes, France, 17-21 june 2002.
-
Co-organizer of MoChArt-2002,
the ECAI'02 affiliated
International Workshop on Model Checking and Artificial Intelligence,
Lyon, France, on July 22/23, 2002
-
Lecturer at ESSLLI, the 14th European Summer
School in Logic, Language and Information, Trento, Italy, on 5-16 August, 2002.
-
PC member of AIPS'02, the Sixth International
Conference on AI Planning & Scheduling, Toulouse, France, on April 23 - 27, 2002.
-
Co-organizer of the AIPS 2002 Workshop on
Planning via Model Checking, Toulouse, France, April 23, 2002.
-
Invited speaker at FroCoS'2002,
the Fourth International Workshop on ``Frontiers of Combining
Systems'', Santa Margherita, Italy, on April 8-10, 2002.
-
Co-organizer of the IJCAI'01 Workshop
on Planning under Uncertainty and Incomplete Information,
August 6, 2001. Seattle, USA.
-
Invited speaker at the IJCAR'01 Workshop on Issues
in the Design and Experimental Evaluation of Systems for Modal and
Temporal Logics, Siena, June 19, 2001
-
PC member of CALCULEMUS-2001,
Siena, Italy, June 21st-22nd.
-
Invited Lecturer at the MOVEP'2k Summer
School on MOdelling and Verification of Parallel Processes, Nantes,
June 19-23, 2000.
-
Co-organizer of SMC99, the International
Workshop on Symbolic Model Checking, a satellite meeting of FLOC99 on
July 6, 1999, in Trento, Italy.
Other links