|visits||member for||4 years, 5 months|
|seen||2 days ago|
Computer Science Engineer with a profound passion for Artificial Intelligence (particularly Automated Reasoning, Knowledge Representation, Computer Vision, Machine Learning) and Software Engineering (particularly Formal Methods), 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 in the Air Traffic Management domain, as a System Requirements Analyst.
|firstname.lastname@example.org||visits||member for||4 years, 5 months|
|location||Rome, Italy||seen||2 days ago|
541 Votes Cast
|all time||by type|