|
Welcome to the Artificial Intelligence Laboratory
|
The Artificial Intelligence Laboratory (AI-Lab) is a research facility of the Department of Informatics, Systems and Telecommunications (DIST) at the University of Genova, Italy. We are committed to top quality scientific research and technology transfer in Artificial Intelligence. Our current focus is on developing cutting-edge automated reasoning techniques and on using them to build a new generation of push-button software verification and debugging tools supporting the development of complex, large-scale, distributed IT applications.
If you want more information about our research or feel like visiting/joining us, please do not hesitate to contact us. |
|
|
|
