Giorgio Camerani

Rome, Italy

M. Eng. Computer Science at DIAG (formerly DIS), September 2007
B. Eng. Computer Science at DIAG (formerly DIS), July 2005

Computer Science Engineer with a profound passion for Artificial Intelligence (particularly SAT, Automated Reasoning, Knowledge Representation, Formal Methods in System Engineering), and also with a strong interest in Logic (particularly the usage of different logics to model real-world systems) and in some aspects of Theoretical Computer Science (Computational Complexity Theory, NP-Completeness, #P-completeness).

Currently working for Leonardo as Project Engineering Manager, and Senior System Engineer in the ATCS domain (no it's not Advanced Theoretical Computer Science, it's just Air Traffic Control Systems).

Top Questions
1 2 3 4