Member for 12 years, 11 months
Last seen more than 11 years ago
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).
This user hasn’t posted yet.