Kompetenzen/IT-Kenntnisse

Als Mathematiker mit Schwerpunkt in mathematische Logik und Modelltheorie ist mir der Umgang mit formalen Sprachen selbstverständlich. Im Laufe meiner Berufstätigkeit habe ich mit den folgenden Programiersprachen, Anwendungen und Notationen gearbeitet:


  • Programmiersprachen

    C++ : (MFC, COM, ATL): eventbasierte Benutzeroberflächen, Geometrie, Datenzugriffsschicht
    C# : Geometrie, Oberflächen, SOAP, Interoperabilität
    Java EE: Swing basierte graphische Benutzerschnittstellen
    VBA : Auswertungen, Erzeugung von NC Programmen

  • Markup und Skripting

    UML für Architekturkonzepte sowie mittels reverse Engineering zur Codeanalyse
    HTML, XML, XSL: Präsentation von statischen und dynamischen Inhalten
    Javascript: Datenpresäntation und Webdesign

  • Tool-Kenntnisse

    Microsoft Visual Studio
    TFS, Source-Safe, SVN
    MKS-Integrity, Jira,
    Eclipse, Netbeans
    Altova U-Model
    Enterprise Architekt
    Mathematica und Math-Lab

  • Datenbanken

    Sybase SQL: Datenmodellierung, Zugriffsschicht und Zugriffsoptimierung
    Microsoft ACCES:Datenmodellierung,
    betrieve: Datenmodellierung, Zugriffe und Migration