M. Eng. Computer Science at , September 2007 B. Eng. Computer Science at , July 2005 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 for as a Senior System Engineer in the ATCS domain (no it`s not Advanced Theoretical Computer Science, it`s just Air Traffic Control Systems).
©