Login Form

Lost Password?
About us

STAR is the acronym of Systems and Technologies for Automated Reasoning (Sistemi e Tecnologie per il Ragionamento Automatico), a laboratory inside the Department of Communication, Computer and System Sciences (Dipartimento di Informatica Sistemistica e Telematica) at the University of Genoa (Università degli Studi di Genova).

We are committed to top quality scientific research and technology transfer. Our scientific activities fall in the areas of Artificial Intelligence, Formal Verification and Software Engineering. In the area of Artificial Intelligence, our main contributions are in planning, automated deduction and knowledge representation. In the area of Formal Verification, our focus is on building tools based on various automated and semi-automated deduction techniques. As for Software Engineering, we are interested in techniques for building efficient and modular software, in particular for the tools that we design and develop.

The laboratory staff is comprised of faculties, reasearch scientists, consultants, and students. We maintain strong worldwide contacts, with frequent exchange visits, with other research groups and institutions. In particular, we have links with a number of other research groups and researchers. We are also actively involved in the development of software tools, mainly developed to experiment research results. Please visit our projects page to learn more about our activities.

Last Updated ( Saturday, 13 October 2007 )

Latest News

Who's Online