Verbonden aan opleidingen
Vakken collegejaar 2023/2024
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
- 192111332 - Design of Software Architectures
- 201400587 - Concurrent Programming
- 201500039 - Security Verification
- 201700342 - Internship TCS
- 202001024 - Software Systems Core
- 202001363 - Implementation Proj. Graph Isomorphism
- 202200191 - Functional and Logic Programming
- 202200192 - Concurrency and Compiler Construction
- 202300186 - Software Systems Core
- 202300188 - Programming Theory & Project
- 202300356 - Functional and Logic Programming
- 202300357 - Concurrency and Compiler Construction
Vakken collegejaar 2022/2023
- 192111332 - Design of Software Architectures
- 201400587 - Concurrent Programming
- 201500039 - Security Verification
- 201700342 - Internship TCS
- 202001024 - Software Systems Core
- 202001052 - Programming Theory & Project
- 202001363 - Implementation Proj. Graph Isomorphism
- 202200191 - Functional and Logic Programming
- 202200192 - Concurrency and Compiler Construction
Lopende projecten
Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics
Voltooide projecten
Causal Reasoning in NetKAT
Adres
Bezoekadres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3039
Hallenweg 19
7522 NH Enschede
Postadres
Universiteit Twente
Zilverling 3039
Postbus 217
7500 AE Enschede