Florian Strobel

M.Sc.
Research Assistant

Contact

Florian Thorsten Lutz Strobel
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Harburger Schloßstraße 22a,
21079 Hamburg
Building HS22a, Room 2.014
Phone: +49 40 42878 2750
Logo

Research Project

DISEGO
Critical Components for Distributed and Secure Grid Operation

DISEGO

Critical Components for Distributed and Secure Grid Operation

Federal Ministry for Economic Affairs and Climate Action (BMWK); Duration: 2022 to 2025

Publications

TUHH Open Research (TORE)

2023

Courses

Stud.IP
zur Veranstaltung in Stud.IP Studip_icon
Functional Programming (VL)
Untertitel:
This course is part of the module: Functional Programming
Semester:
WiSe 23/24
Veranstaltungstyp:
Vorlesung (Lehre)
Veranstaltungsnummer:
lv624_w23
DozentIn:
Prof. Dr. Sibylle Renate Schupp, Ole Lübke, Daniel Rashedi
Beschreibung:
  • Functions, Currying, Recursive Functions, Polymorphic Functions, Higher-Order Functions
  • Conditional Expressions, Guarded Expressions, Pattern Matching, Lambda Expressions
  • Types (simple, composite), Type Classes, Recursive Types, Algebraic Data Type
  • Type Constructors: Tuples, Lists, Trees, Associative Lists (Dictionaries, Maps)
  • Modules
  • Interactive Programming
  • Lazy Evaluation, Call-by-Value, Strictness
  • Design Recipes
  • Testing (axiom-based, invariant-based, against reference implementation)
  • Reasoning about Programs (equation-based, inductive)
  • Idioms of Functional Programming
  • Haskell Syntax and Semantics
Leistungsnachweis:
340 - Functional Programming<ul><li>340 - Functional Programming: Klausur schriftlich</li></ul><br>341 - Functional Programming<ul><li>340 - Functional Programming: Klausur schriftlich</li><li>841 - Functional Programming - Exercises: Excercises</li></ul>
ECTS-Kreditpunkte:
2
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Softwaresysteme (E-16)
In Stud.IP angemeldete Teilnehmer: 296
Anzahl der Postings im Stud.IP-Forum: 72
Anzahl der Dokumente im Stud.IP-Downloadbereich: 2

Supervised Theses

ongoing
completed