Skip to main content
Giorgio Camerani's user avatar
Giorgio Camerani's user avatar
Giorgio Camerani's user avatar
Giorgio Camerani
  • Member for 13 years, 8 months
  • Last seen more than 12 years ago
About

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).

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.