Prof. Dr. Stefan Milius

Beamtet, Senior Lecturer (Akademischer Oberrat), FAU Erlangen-Nürnberg
Erlangen, Deutschland

Fähigkeiten und Kenntnisse

expertise in theoretical computer sciene
category theory in the semantics of computation
model-driven software design and formal methods
model checking
design of safety critical software (EN50128)
e-publishing in theoretical computer science

Werdegang

Berufserfahrung von Stefan Milius

  • Bis heute 12 Jahre und 11 Monate, seit Dez. 2012

    Senior Lecturer (Akademischer Oberrat)

    FAU Erlangen-Nürnberg

    Forschung und Lehre in Theoretischer Informatik

  • 4 Jahre und 5 Monate, Aug. 2008 - Dez. 2012

    Lecturer (Akademischer Rat)

    TU Braunschweig

    Forschung und Lehre in Theoretischer Informatik

  • 1 Jahr und 7 Monate, Jan. 2007 - Juli 2008

    Mitarbeiter der Software Initiative

    Siemens AG Mobility

    Einführung Modell-basierter Methoden in der Softwareentwicklung

  • 6 Jahre und 4 Monate, Sep. 2000 - Dez. 2006

    Wissenschaftlicher Mitarbeiter

    TU Braunschweig

    Forschung und Lehre im Bereich Theoretische Informatik

Ausbildung von Stefan Milius

  • 5 Jahre und 5 Monate, Aug. 2007 - Dez. 2012

    Informatik

    TU Braunschweig

    Coalgebras and the Axioms of Iteration

  • 5 Jahre und 2 Monate, Sep. 2000 - Okt. 2005

    Theoretische Informatik

    TU Braunschweig

    Coalgebras, Monads and Semantics

  • 11 Monate, Sep. 1999 - Juli 2000

    Pure Mathematics

    York University, Toronto, Canada

    Category Theory

  • 4 Jahre und 11 Monate, Okt. 1995 - Aug. 2000

    Informatik

    TU Braunschweig

    Theoretische Informatik; Wissenschaftliches Rechnen; Rechnerstrukturen; Mathematische Optimierung

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

  • Spanisch

    Grundlagen

  • Russisch

    Grundlagen

XING – Das Jobs-Netzwerk

  • Über eine Million Jobs

    Entdecke mit XING genau den Job, der wirklich zu Dir passt.

  • Persönliche Job-Angebote

    Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.

  • 21 Mio. Mitglieder

    Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.

  • Kostenlos profitieren

    Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

21 Mio. XING Mitglieder, von A bis Z