Mai 1991 | - | Sep 1998 |
Scripting Support, Alcatel Austria AG, Scheydgasse 41, A-1210 Wien |
Okt 1998 | - | Apr 2000 |
Software Engineer, Alcatel Austria AG, Scheydgasse 41, A-1210 Wien |
Apr 2000 | - | Sep 2002 |
Vertragsassistent mit FWF Projektmitteln an der TU Wien |
Okt 2001 | - | Jan 2002 |
Studienassistent, Logikorientierte Programmiersprachen, TU Wien |
Mär 2002 | - | Jun 2002 |
Studienassistent, Datenmodellierung, TU Wien |
Okt 2002 | - | Sep 2003 |
Universitätsassistent an der TU Wien |
Okt 2003 | - | Okt 2004 |
Freistellung (nicht wissenschaftlich) |
Nov 2004 | - | Nov 2010 |
Universitätsassistent an der TU Wien |
seit | | Dez 2010 |
Projektassistent an der TU Wien |
1st International Workshop on Reactive Concepts in Knowledge
Representation, ReactKnow 2014, Prag, Tschechien
(eingeladener Vortrag) |
19th International Conference on Applications of Declarative Programming
and Knowledge Management, INAP 2011, zusammen mit dem 25th Workshop on
Logic Programming, WLP 20011, Wien, Österreich (eingeladener Vortrag) |
Workshop on Domain-centric Intelligent Automated Data Extraction
Methodology, DIADEM 1.0 2011, Wien, Österreich (eingeladener Vortrag) |
5th International Symposium on Rules, RuleML 2011, Barcelona, Spanien
(Diskussionsteilnehmer beim Panel des Doctoral Consortium) |
Workshop on Hybrid Knowledge Representation and Reasoning, HKRR 2010,
Wien, Österreich (eingeladener Vortrag) |
Hauptausschuss: Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.) |
Bereichslektor: Newsletter of the Association for Logic Programming |
Redaktioneller Beirat: International Scholarly Research Notices |
Internationaler Expertenbeirat: GULP Distinguished Dissertations Award 2009 |
Auszeichnungsbeirat: VCLA International Student Awards 2014 |
Co-organisator: 14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014 |
Co-vorsitz: WLP 2006, Log-IC 2011, ARCOE 2012, ARCOE-LogIC 2013 und 2014, ASPOCP 2012 und 2013. |
Im Programmkommitee bei AAAI (2012), IJCAI (2009, 2011), KR (2012, 2014), ECAI (2006, 2012, 2014), IJCAR (2012), ESWC (2012), LPNMR (2013), JELIA (2014), RR (2012, 2013), ... |
Reviewer für Journale (inklusive AIJ, JCSS, IGPL, JAIR, TPLP, IPL, JANCL),
Konferenzen (inklusive IJCAI, AAAI, KR, PODS, ICLP, IJCAR, ECAI, ESWC, AAMAS) und Workshops. |
Einreichung und Durchführung national (FWF, WWTF) und
international (EU) geförderter Forschungsprojekte:
Projektleitung (WWTF) und Co-projektleitung (FWF), lokale Workpackage Verantwortung ONTORULE
Projekt (IP), lokale technische Koordination INFOMIX Projekt (IST), sowie Projektkoordination und
Projektbetreuung von Dissertanten. |
Vorträge und Präsentationen bei internationalen
Konferenzen und Workshops (inklusive IJCAI, AAAI, KR). |
Lehre in Wissensrepräsentation und formalem Schließen,
Logik und künstlicher Intelligenz; insbesondere in den Bereichen
Logikprogrammierung, wissensbasierte Softwareagenten und
deklaratives Planen. |
Mitglied bei AAAI und ÖGAI. |