====== Projects ====== Composed by 3 Themes: ===== Knowledge Extraction and Learning ===== ===== FOrmalizing and Reasoning with Users and Models ===== ===== Scalable Software Systems =====