Personal Information
This page gives a short summary of my activities. More details can be found in my Curriculum Vitae: CV short (long version: CV long).
Short Biography
I am a senior lecturer and researcher at the Competence Center Artificial Intelligence and Data Analytics at University of Applied Sciences Technikum Wien, see my staff profile. Among other duties, I am currently involved in the research projects Climate Communities and MAIJA.
Previously I worked at the Vienna University of Technology in the Knowledge-based Systems Group (Institute of Logic and Computation), see my previous website. Besides my teaching duties, I was involved in the research projects Integrated Evaluation of Answer Set Programs and Extensions (FWF P27730), Evaluation of ASP Programs with External Source Access (FWF P24090) and Reasoning in Hybrid Knowledge Bases (FWF P20840).
From November 2010 to April 2014 I did my PhD in Computer Science under supervision of Prof. Thomas Eiter and Prof. Stefan Woltran in the doctoral programme Mathematical Logic in Computer Science. Prior to that I have received a master degree in Computational Intelligence in August 2010, another master degree in Medical Informatics in November 2010, and a bachelor degree in Software and Information Engineering in May 2008, all from TU Vienna.
Regarding software development, I was the main developer of dlvhex for several years besides some other projects.
Core Skills
In short, I describe myself as a scientific software engineer who bridges the gap between algorithmic concepts and practical implementation.
- Software development (with focus on C#, Python, C++, Java, JavaScript)
- Implementation of mathematical concepts in software (e.g. scheduling, graph and combinatorial problems)
- Experience with software frameworks in various areas (e.g. TensorFlow, Xamarin)
- Thematic focus on artificial intelligence, algorithms, logics and mathematical foundations of computer science
- Computer graphics and games (e.g. DirectX, OpenGL, Unreal Engine)
- Extensive research and teaching experience
- Comprehensible presentation and publication of complex content
- Leading teams in teaching and software development
- Structure information and organize workflows
- Longtime general experience in the area of IT
IT Skills
- Programming: C++, C#, Python, Java
- Web: JavaScript, PHP, ASP .NET
- Databases: SQL, PL/SQL, Oracle, MS SQL Server
- AI: TensorFlow/Keras, PyTorch, Accord.NET, LLMs, Answer Set Programming, Ontologies
- Version Control: Git, SVN
- Computer graphics: DirectX, OpenGL, Unreal Engine, Blender, MonoGame
Research Interests
I am doing research in the following areas:
- Knowledge Representation and Reasoning
- Computational Logic
- Non-monotonic Logic Programming and Databases (in particular answer set programming and extensions)
- Practical implementation of AI technology (e.g. reasoner design)
- Applications of AI (e.g. scheduling, planning, AI for games)
- Data-driven AI (e.g. neural networks, deep (q-)learning)
- Algorithms in AI
Teaching
I am giving courses and supervice theses in the following areas:
- artificial intelligence
- databases and data engineering
- programming and software development
- IT projects
- theoretical computer science
- algorithms
- knowledge representation and reasoning
- logic programming and declarative problem solving
- computer graphics and games
- scientific work
Informationen
Es folgt eine Kurzbiografie, Details finden sich in meinem Lebenslauf: Lebenslauf Kurzversion (Langversion: Lebenslauf Langversion).
Biografie
Ich bin Senior Lecturer and Researcher im Kompetenzfeld Artificial Intelligence und Data Analytics an der FH Technikum Wien, siehe Mitarbeitereintrag. Neben anderen Zuständigkeiten bin ich an den Forschungsprojekten Klimagemeinschaften und MAIJA. beteiligt.
Davor arbeitete ich an der Technischen Universität Wien im Forschungsbereich Knowledge-based Systems (Institut für Logic and Computation), siehe meine vorherige Website. Neben Lehrtätigkeiten was ich an den Forschungsprojekten Integrated Evaluation of Answer Set Programs and Extensions (FWF P27730), Evaluation of ASP Programs with External Source Access (FWF P24090) und Reasoning in Hybrid Knowledge Bases (FWF P20840) bereiligt.
Von November 2010 bis April 2014 was ich Doktoratsstudent in Informatik unter Anleitung von Prof. Thomas Eiter und Prof. Stefan Woltran im Doktoratsprogramm Mathematical Logic in Computer Science. Davor habe ich die Masterstudien Computational Intelligence im August 2010 und Medizinische Informatik im November 2010, sowie das Bachelorstudium Software and Information Engineering im May 2008 abgeschlossen, jeweils an der TU Wien.
Im Bereich Softwareentwicklung was ich neben einigen anderen Projekten für einige Jahre Hauptverantwortlicher für dlvhex.
Kernkompetenzen
Ich überbrücke die Lücke zwischen Theorie und Praxis, entwickle Konzepte und implementiere diese in Software.
- Softwareentwicklung (insbesondere in C#, Python, C++, Java, JavaScript)
- Implementierung mathematischer Konzepte in Software (z.B. Lösungen im Bereich Scheduling, Kombinatorik und Graphentheorie)
- Erfahrung mit Software-Frameworks aus verschiedensten Bereichen (z.B. TensorFlow, Xamarin)
- Thematische Schwerpunkte in den Bereichen künstliche Intelligenz, Algorithmik, Logik und mathematischen Grundlagen der Informatik
- Computergrafik und -spiele (z.B. DirectX, OpenGL, Unreal Engine)
- Langjährige Forschungs- und Lehrerfahrung
- Aufbereitung, Publikation und Präsentation komplexer Inhalte
- Koordination von Teams im Bereich Lehre und Softwareentwicklung
- Informationen strukturieren und Arbeitsabläufe organisieren
- Umfangreiche Allgemeinerfahrung im IT-Bereich
IT-Kenntnisse
- Programmierung: C++, C#, Python, Java
- Web: JavaScript, PHP, ASP .NET
- Datenbanken: SQL, PL/SQL, Oracle, MS SQL Server
- AI: TensorFlow/Keras, PyTorch, Accord.NET, LLMs, Answer Set Programming, Ontologien
- Version Control: Git, SVN
- Computergrafik: DirectX, OpenGL, Unreal Engine, Blender, MonoGame
Forschungsbereiche
Meine Forschung umfasst die folgenden Bereiche:
- Wissensrepräasentation und Schließen
- Computational Logic
- Non-monotones Schließen und Datenbanken (insbesondere Answer Set Programming und Erweiterungen)
- Praktische Umsetzung von AI-Techniken (z.B. Reasonerentwicklung)
- Anwendungen der AI (z.B. Scheduling, Planung, AI für Spiele)
- Datenbasierte AI (z.B. Neuronale Netze, Deep (Q-)Learning)
- Algorithmen in der AI
Lehrtätigkeiten
Ich war bisher in der Lehre in folgenden Bereichen tätig:
- küunstliche Intelligenz
- Datenbanken und Data Engineering
- Programmierung und Softwareentwicklung
- IT-Projekte
- theoretische Informatik
- Algorithmik
- Wissensrepräasentation und Schließen
- Logikprogrammierung und deklaratives Problemlösen
- Computergrafik und Computerspiele
- Wissenschaftliches Arbeiten