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 Harburger Schloßstraße 22a, 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)
No connection to the datasource

Courses

Stud.IP
link to course in Stud.IP Studip_icon
Functional Programming (VL)
Subtitle:
This course is part of the module: Functional Programming
Semester:
WiSe 23/24
Course type:
Lecture
Course number:
lv624_w23
Lecturer:
Prof. Dr. Sibylle Renate Schupp, Ole Lübke, Daniel Rashedi
Description:
  • 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
Performance accreditation:
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 credit points:
2
Stud.IP informationen about this course:
Home institute: Institut für Softwaresysteme (E-16)
Registered participants in Stud.IP: 296
Postings: 72
Documents: 2

Supervised Theses

ongoing
completed