Hasso-Plattner-Institut25 Jahre HPI
Hasso-Plattner-Institut25 Jahre HPI
Login
 

Project Seminar: Lean Interactive Theorem Prover (Sommersemester 2022)

Lecturer: Prof. Dr. Tobias Friedrich (Algorithm Engineering) , Dr. Samuel Baguley (Algorithm Engineering) , Nadym Mallek (Algorithm Engineering)
Course Website: https://hpi.de/friedrich/teaching/ss22/pslean.html

General Information

  • Weekly Hours: 4
  • Credits: 6
  • Graded: yes
  • Enrolment Deadline: 01.04.2022 - 30.04.2022
  • Examination time §9 (4) BAMA-O: 16.08.2022
  • Teaching Form: Project / Seminar
  • Enrolment Type: Compulsory Elective Module
  • Course Language: English
  • Maximum number of participants: 12

Programs, Module Groups & Modules

Data Engineering MA
IT-Systems Engineering MA
  • ISAE: Internet, Security & Algorithm Engineering
    • HPI-ISAE-K Konzepte und Methoden
  • ISAE: Internet, Security & Algorithm Engineering
    • HPI-ISAE-T Techniken und Werkzeuge
  • ISAE: Internet, Security & Algorithm Engineering
    • HPI-ISAE-S Spezialisierung

Description

Alle Informationen zu Inhalt, Aufzeichnung und Terminen sind auf der Website zum Kurs zu finden.

Zurück