Deutsch Intern
    Chair of Computer Science I - Algorithms, Complexity, and Knowledge-Based Systems

    Dr. Ludwig Ostermayer

    Teaching

    • Databases
    • Advanced Databases
    • Einführung in die Informatik für Hörer aller Fakultäten
    • Softwaretechnik

    Research

    • Logic Programming
    • Object-Oriented Programming
    • Multi-Paradigm Programming
    • Multi-Language Programming
    • Databases
    • Knowledge Representation and Engineering
    • Business Rules
    • Domain Specific Languages
    • Semi-Structured Data and XML

    KOMPASS Tutoren- und Mentorenprogramm

    Das KOMPASS Tutoren- und Mentorenprogramm der Universität Würzburg hat zum Ziel, Studierende zu TutorInnen und MentorInnen zu qualifizieren, damit sie durch intensive Beratung und Betreuung jüngere Studierende in der Studieneingangsphase unterstützen und für sie die bestmöglichen Lernvoraussetzungen schaffen können. Desweiteren wird vom KOMPASS Koordinator des Instituts für Informatik der Vorkurs Informatik angeboten.

    Vorkurs Informatik

    Im Vorkurs Informatik werden die Grundzüge der objektorientierten Programmierung in der Sprache Java vermittelt. Hierzu zählen u.a. das Einrichten der Entwicklungsumgebung Eclipse, Datentypen und Kontrollstrukturen, Klassen und Objekte. Des weiteren ist es Ziel des Kurses, Algorithmen für gegebene Problemstellungen zu entwickeln und anschließend in eigenen Programmen umzusetzen.


    Short CV

    since October 2016:

    • project manager for the department of mathematics and computer science in the Federal-Länder programme "Qualitätspakt Lehre" (QPL) supported by the Federal Ministry of Education and Research

    from November 2014 until September 2016:

    • project manager for the institute of computer science in the QPL

    from April 2011 until September 2016:

    • research assistant at the institute of computer science

    untill November 2011:

    • studies of diploma mathematics, university of Würzburg

    untill June 2010:

    • studies of teaching degree for secondary schools, university of Würzburg

    Publications

    Integration of Prolog and Java with the Connector Architecture CAPJa.
    nbn-resolving.de/urn/resolver.pl, Würzburg, Univ., Dissertation, 2017.
    L. Ostermayer.

    Source Code Verfication for Embedded Systems using Prolog.
    In: Proc. 30th Workshop on (Constraint) Logic Programming (WLP), 2016.
    F. Flederer, L. Ostermayer, D. Seipel, S. Montenegro.

    Seamless Cooperation of Java and Prolog for Rule-Based Software Development.
    In: Proc. Doctorial Consortium@ 9th International Web Rule Symposium (RuleML), 2015.
    L. Ostermayer

    PPI- A Portable Prolog Interface for Java.
    In: Proc. 28th Workshop on (Constraint) Logic Programming (WLP), 2014.
    L. Ostermayer, F. Flederer, D. Seipel.

    CAPJA- A Connector Architecture for Prolog and Java.
    In: Proc. 10th Workshop on Knowledge Engineering and Software Engineering (KESE), 2014.
    L. Ostermayer, F. Flederer, D. Seipel.

    A Prolog Framework for Integrating Business Rules into Java Applications.
    In: Proc. 9th Workshop on Knowledge Engineering and Software Engineering (KESE), 2013.
    L. Ostermayer, D. Seipel.

    Simplifying the Development of Rules Using Domain Specific Languages in Drools.
    In: Proc. Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP), 2013.
    L. Ostermayer, G. Sun, D. Seipel.

    Knowledge Engineering for Business Rules in Prolog.
    In: Proc. Workshop on Logic Programming (WLP), 2012.
    L. Ostermayer, D. Seipel.

    Faktorisieren mit elliptischen Kurven.
    Würzburg, Univ., Diplomarbeit, 2009.
    L. Ostermayer.

    Lenstras elliptische Kurvenmethode.
    Würzburg, Univ., Zulassungsarbeit Lehramt am Gymnasium, 2008.
    L. Ostermayer.

    Poster

    Seamless Cooperation of Java and Prolog with CAPJA.
    9th International Web Rule Symposium (RuleML), 2015.
    L. Ostermayer

    Contact

    Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
    Am Hubland
    97074 Würzburg

    Phone: +49 931 31-85054
    Email

    Find Contact

    Hubland Süd, Geb. Z8 Hubland Süd, Geb. M2