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