Enrico Giunchiglia

I am Full Professor in Computer Science and Engineering at the University of Genoa.

Research Interests

My research interests are mainly in the field of Model Based Reasoning. In particular, I have published papers in the fields of Automated Planning, Automated Reasoning, Formal Verification, Knowledge Representation, Nonmonotonic Reasoning and Software Engineering (Automatic Test Generation for Coverage).

Currently I teach the course Artificial Intelligence for graduate students in Ingegneria Informatica (Computer Systems Engineering) and Robotics Engineering.