news
October 11, 2008 - 4:19 p.m.
We're on Facebook
There is now a Facebook page about Eventseer. You can find news and updates there, as well as links to other web sites that are useful to academics and researchers.
Profile of the day
Andrea Orlandini
In 2002 he graduated in Computer Science at
University Roma TRE submitting a thesis on Artificial Intelligence
Planning and Temporal Logic.
In 2006 he got his PhD in Computer Science
at University Roma TRE with a research on Automated Planning, Temporal
Logic and Robot Control in Rescue Scenario.
He is assistant researcher at University Roma TRE studying
model-based control and diagnostic in complex system.
He is also a
member of the ALCOR rescue team that partecipated at three Rescue
Robocup Competition (third awarded in 2004).
He got a PostDoc position
at the Laboratoire d’Analyse et d’Architecture des Systèmes (LAAS) of
the Centre National de la Recherche Scientifique (CNRS) in Toulouse
(FRANCE).
Currently, he is working on Plan Validation and Verification, in collaboration with CNR-ISTC (ESA project ULISSE).
His research interests include: Formal Methods, Automated Planning,
Model-based Control and Robot Control.