Max Ole Elliger

Über mich

Hier fehlt ein Text.

Zitate

• Die Nullmatrix müsste dann auch invertierbar sein? Ach, warte... Ich (2020)
• Ich hab den lächelnden Hammerhai vergessen! Ich (2023)

Kontakt

• E-Mail
• GitLab

Gehaltene Tutorien an der FAU

• Konzeptionelle Modellierung (WS2020/21, WS2021/22)
• Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SS2021, SS2022, SS2023)
• Grundlagen der Logik in der Informatik (WS2022/23, WS2023/24)

Projekte

Alle Projekte, die hier aufgelistet werden, sind unter GNU General Public License lizensiert, sofern nichts anderes in der Auflistung steht.

• CoMoEx : Coq-Exercises, zum Einstieg in die Beweisassistentsprache Coq.
• CoMoLang : Formale Sprachen in Coq mit Fokus auf die Korrektheit von erzeugenden Grammatiken.
• CoMoNum : Implementierung von Zahlenbereichen (z.B. ganze Zahlen, rationale Zahlen), inspiriert von der Vorlesung "Didaktik der Arithmetik".
• CoMoZFC : Implementierung der Axiome der Zermeno-Fraenkel-Mengenlehre
• Programming Computable Functions (PCF) : inspiriert von der Vorlesung "Monad-Based Programming".