teaching: Add SEP, DAIMPL, IMPL, FoSA, link for static analysis

_pages/teaching.md

@@ -15,8 +15,11 @@ linkBvP: https://onderwijsaanbod.kuleuven.be/syllabi/n/G0N28AN.htm#activetab=doe
 
 Year | University   | Course  
 -----|--------------|--------------------------------------
-2024 | TU Darmstadt | Software Engineering Project (industry collaboration)
-2024 | TU Darmstadt | Program Analysis
+2024 | TU Darmstadt | [(Lab, Industry Collaboration) Software Engineering Project](https://stg-tud.github.io/sep/) (organizer)
+2024 | TU Darmstadt | [(Seminar) Design and Implementation of Modern Programming Languages](https://stg-tud.github.io/DAIMPL-web/index.html#seminar%20(e5fd56a9))
+2024 | TU Darmstadt | [(Lab) Implementation of Modern Programming Languages](https://stg-tud.github.io/DAIMPL-web/index.html#project%20(e5fd56a9))
+2024 | TU Darmstadt | [(Seminar) Foundations of Static Analysis](https://www.stg.tu-darmstadt.de/teaching_stg/courses_stg/ws_2023/foundations_of_static_analyses_2/foundations_of_static_analyses_4.en.jsp)
+2024 | TU Darmstadt | [Program Analysis](https://www.stg.tu-darmstadt.de/teaching_stg/courses_stg/ss_2024/program_analysis_1/program_analysis_ss24.en.jsp)
 2023 | KU Leuven    | [Principles of Programming]({{page.linkBvP}})
 2023 | KU Leuven    | [Object-Oriented Programming]({{page.linkOGP}})
 2022 | KU Leuven    | [Object-Oriented Programming]({{page.linkOGP}})