Bereichsnavigation

• Mitarbeiter+
  • Professoren
  • Sekretariat
  • Wissenschaftliche Mitarbeiter(innen)
  • Technische Mitarbeiter
  • Studentische Hilfskräfte
  • Ehemalige Mitarbeiter
    • Bessai, Jan, Dr.
    • Czajka, Lukasz, Dr.
    • Düdder, Boris, Dr.
    • Helmut Henning
    • Kallat, Fadil, M. Sc.
    • Paternoster-Bieker, Iris, Dipl.-Inf.
    • Schäfer, Tristan, M. Sc.
    • Schmedding, Doris, Dr.
    • Steffen, Barbara, M.Sc.
    • Vasileva, Anna, Dipl.-Inf.

Hauptinhalt

Boris Düdder, Dr.

Boris Düdder, Dr.

Sprechzeiten
Keine Sprechzeiten

Web-Links

• University of Copenhagen
• Private homepage

News

• 1. Februar 2017 Assistant Professor at University of Copenhagen (DIKU, Computer Science Institute)
• ISoLA 2016 (PC member): 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Crete, Greece, Oct 10-14, 2016.
• ModSyn-PP 2016 (Organizer): Modular Synthesis of Programs and Processes, Workshop affiliated with ISoLA 2016, 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Crete, Greece, Oct 10-14, 2016.
• ModSyn-PL 2015 (PC member): Modular Synthesis of Product Lines, Workshop affiliated with SPLC 2015, 19th International Software Product Line Conference, July 20 2015, Nashville TN.
• ECWEB-2015 (PC member): 16th International Conference on Electronic Commerce and Web Technologies - EC-Web 2015, Valencia, Spain, Sep 1-2, 2015.

Nebeninhalt

Dr. rer. nat. Boris Düdder

Information

(Seiten auf Englisch)

• Bio
• Research
• Publications
• Teaching
• Events & Professional Activities

Links

Verbundene Institute