Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Bereichsnavigation

  • Mitarbeiter+

Hauptinhalt

Dipl.-Inf. Malte Isberner

Dipl.-Inf. Malte Isberner Foto von Dipl.-Inf. Malte Isberner

Telefon
+49 231 755 5806

Web-Links

UPDATE:

Starting October 17th, 2015, I no longer work at TU Dortmund. Check out my personal website for updates on my current activities.

Seit dem 17. Oktober 2015 arbeite ich nicht mehr an der TU Dortmund. Für Informationen über meine aktuellen Aktivitäten konsultieren Sie bitte meine persönliche Website.

Teaching

Research interests

  • Automata learning
  • Model checking
  • Synthesis
  • Temporal logics

Projects

Adresse

Raum 107 (OH14)

Nebeninhalt

Kontakt LS5

Tel. (0231) 755-5801
Fax (0231) 755-5802